PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Fraser, Gordon"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking.

, , , , und . IEEE Trans. Software Eng., 41 (10): 1019-1037 (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Univ. -Prof. Dr. Peter Gordon Rötzel University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Special section on Mutation testing (Mutation 2010)., , und . Sci. Comput. Program., 78 (4): 343-344 (2013)Search-based testing using constraint-based mutation., und . Softw. Test., Verif. Reliab., 24 (6): 472-495 (2014)On the order of test goals in specification-based testing., , und . J. Log. Algebr. Program., 78 (6): 472-490 (2009)Using coverage to automate and improve test purpose based testing., , und . Information & Software Technology, 51 (11): 1601-1617 (2009)Guest editorial: Search-based software engineering., und . Empirical Software Engineering, 19 (5): 1421-1422 (2014)Search-based data-flow test generation., , , und . ISSRE, Seite 370-379. IEEE Computer Society, (2013)Nondeterministic Testing with Linear Model-Checker Counterexamples., und . QSIC, Seite 107-116. IEEE Computer Society, (2007)Combining search-based and constraint-based testing., und . ASE, Seite 436-439. IEEE Computer Society, (2011)Exploiting Common Object Usage in Test Case Generation., und . ICST, Seite 80-89. IEEE Computer Society, (2011)Ordering Coverage Goals in Model Checker Based Testing., und . ICST Workshops, Seite 31-40. IEEE Computer Society, (2008)