Automatic Detection of Race-Conditions (AuDeRace)

Internally funded project


Acronym: AuDeRace

Start date : 01.01.2016

End date : 30.09.2021

Website: http://www2.informatik.uni-erlangen.de/research/AuDeRace/

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests (2020) Baer M, Oster N, Philippsen M Conference contribution, Original article Verbesserung von Mutationstests mit Hilfe der symbolischen Ausführung (2015) Baer M Thesis