Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Search-based synthesis of equivalent method sequences., , , , und . SIGSOFT FSE, Seite 366-376. ACM, (2014)Chopped symbolic execution., , , und . ICSE, Seite 350-360. ACM, (2018)SUSHI: a test generator for programs with complex structured inputs., , , und . ICSE (Companion Volume), Seite 21-24. ACM, (2018)Intrinsic software redundancy for self-healing software systems, automated oracle generation., , , , , , und . Software Engineering & Management, Volume P-239 von LNI, Seite 129-130. GI, (2015)Intrinsic Redundancy for Reliability and Beyond., , , und . Present and Ulterior Software Engineering, Springer, (2017)Cross-checking oracles from intrinsic software redundancy., , , , und . ICSE, Seite 931-942. ACM, (2014)An industrial case study of the effectiveness of test generators., , , , und . AST, Seite 50-56. IEEE Computer Society, (2012)Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component., , , , und . Software Quality Journal, 22 (2): 311-333 (2014)Automatic recovery from runtime failures., , , , und . ICSE, Seite 782-791. IEEE Computer Society, (2013)Combining symbolic execution and search-based testing for programs with complex heap inputs., , , und . ISSTA, Seite 90-101. ACM, (2017)