Verbesserung von Mutationstests mit Hilfe der symbolischen Ausführung

Baer M (2015)

Publication Language: German

Publication Type: Thesis

Publication year: 2015

Publisher: Friedrich-Alexander Universität

City/Town: Erlangen-Nürnberg

Authors with CRIS profile

Michael Baer Lehrstuhl für Informatik 2 (Programmiersysteme)

Related research project(s)

Automatic Detection of Race-Conditions (AuDeRace) Jan. 1, 2016 - Sept. 30, 2021

How to cite

APA:

Baer, M. (2015). Verbesserung von Mutationstests mit Hilfe der symbolischen Ausführung (Master thesis).

MLA:

Baer, Michael. Verbesserung von Mutationstests mit Hilfe der symbolischen Ausführung. Master thesis, Erlangen-Nürnberg: Friedrich-Alexander Universität, 2015.

BibTeX: Download