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

https://d-nb.info/1319417221/34

More information on the full text (kostenfrei)

Show more show less

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

https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20231129-1705391-1-4

Show more show less

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

Full access (via DOI)

Show more show less

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

Access

Full access (via DOI)

Show more show less

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
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
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
Marinov, Darko; Khurshid, Sarfraz

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

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
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
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
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

Full access (via DOI)

Show more show less

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
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
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

Full access (via DOI)

Show more show less

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
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
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
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
Boyapati, Chandrasekhar; Khurshid, Sarfraz; Marinov, Darko

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

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
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
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

Full access (via DOI)

Show more show less

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
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

Full access (via DOI)

Show more show less

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

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