Skip to contents

Elsner, Daniel Valentin [Author] ; Le Traon, Yves [Degree supervisor]; Marinov, Darko [Other]

Integrating System and Process Characteristics into Regression Test Optimization

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2023
Elsner, Daniel Valentin [Author] ; Le Traon, Yves [Other]; Marinov, Darko [Other]

Integrating System and Process Characteristics into Regression Test Optimization

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2023
Wei, Anjiang [Author] ; Yi, Pu [Other]; Xie, Tao [Other]; Marinov, Darko [Other]; Lam, Wing [Other]

Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests

View online
Schließen

Access

... to video recording via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

Published in: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)
Harrold, Mary Jean [Author]; Marinov, Darko [Author]; Oney, Stephen [Author]; Pezzè, Mauro [Author]; Porter, Adam [Author]; Penix, John [Author]; Runeson, Per [Author]; Yoo, Shin [Author] ; Mary Jean Harrold and Darko Marinov and Stephen Oney and Mauro Pezzè and Adam Porter and John Penix and Per Runeson and Shin Yoo [Contributor]

Introducing Continuous Systematic Testing of Evolving Software

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Fraser, Gordon; Marinov, Darko

Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2017

Published in: Software Testing, Verification and Reliability, 27 (2017) 6
Khurshid, Sarfraz; Marinov, Darko

TestEra: Specification-Based Testing of Java Programs Using SAT

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2004

Published in: Automated Software Engineering, 11 (2004) 4, Seite 403-434
Marinov, Darko; Radoičić, Radoš

Counting 1324-Avoiding Permutations

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

The Electronic Journal of Combinatorics, 2003

Published in: The Electronic Journal of Combinatorics, 9 (2003) 2
Marinov, Darko; Khurshid, Sarfraz

FME 2002:Formal Methods—Getting IT Right: VAlloy — Virtual Functions Meet a Relational Language

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: FME 2002:Formal Methods—Getting IT Right (2002), Seite 234-251
Khurshid, Sarfraz; Marinov, Darko

Checking Java Implementation of a Naming Architecture Using Testera

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2001

Published in: Electronic Notes in Theoretical Computer Science, 55 (2001) 3, Seite 322-342
Marinov, Darko; O'Callahan, Robert

Object equality profiling

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2003

Published in: ACM SIGPLAN Notices, 38 (2003) 11, Seite 313-325
Sullivan, Allison; Marinov, Darko; Khurshid, Sarfraz

Formal Methods and Software Engineering: Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2019

Published in: Formal Methods and Software Engineering (2019), Seite 336-352
Palmskog, Karl; Hariri, Farah; Marinov, Darko

A Case Study on Executing Instrumented Code in Java PathFinder

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2015

Published in: ACM SIGSOFT Software Engineering Notes, 40 (2015) 6, Seite 1-5
d’Amorim, Marcelo; Sobeih, Ahmed; Marinov, Darko

Formal Methods and Software Engineering: Optimized Execution of Deterministic Blocks in Java PathFinder

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2006

Published in: Formal Methods and Software Engineering (2006), Seite 549-567
Sen, Koushik; Marinov, Darko; Agha, Gul

CUTE : a concolic unit testing engine for C : a concolic unit testing engine for C

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2005

Published in: ACM SIGSOFT Software Engineering Notes, 30 (2005) 5, Seite 263-272
Khurshid, Sarfraz; Marinov, Darko; Jackson, Daniel

An analyzable annotation language

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2002

Published in: ACM SIGPLAN Notices, 37 (2002) 11, Seite 231-245
Boyapati, Chandrasekhar; Khurshid, Sarfraz; Marinov, Darko

Korat : automated testing based on Java predicates : automated testing based on Java predicates

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2002

Published in: ACM SIGSOFT Software Engineering Notes, 27 (2002) 4, Seite 123-133
Boyapati, Chandrasekhar; Khurshid, Sarfraz; Marinov, Darko

Korat : automated testing based on Java predicates : automated testing based on Java predicates

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ACM Press, 2002

Published in: Proceedings of the international symposium on Software testing and analysis - ISSTA '02 (2002)
Wang, Chao; He, Hao; Pal, Uma; Marinov, Darko; Zhou, Minghui

Suboptimal Comments in Java Projects: From Independent Comment Changes to Commenting Practices

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2023

Published in: ACM Transactions on Software Engineering and Methodology, 32 (2023) 2, Seite 1-33
Wang, Wenxi; Yi, Pu; Khurshid, Sarfraz; Marinov, Darko

Testing Software and Systems: Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2022

Published in: Testing Software and Systems (2022), Seite 123-130
Yi, Pu; Wang, Hao; Xie, Tao; Marinov, Darko; Lam, Wing

Tools and Algorithms for the Construction and Analysis of Systems: A Theoretical Analysis of Random Regression Test Prioritization

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2022

Published in: Tools and Algorithms for the Construction and Analysis of Systems (2022), Seite 217-235

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication