Using Constraints for Equivalent Mutant Detection

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Workshop on Formal Methods in the Development of Software
Publisher	.
Publication status	Accepted/In press - 2012
Event	Workshop on Formal Methods in the Development of Software - Paris, France Duration: 28 Aug 2012 → …

Conference	Workshop on Formal Methods in the Development of Software
Country/Territory	France
City	Paris
Period	28/08/12 → …

Fields of Expertise

@inproceedings{89face3bfb044918bac26f67aebee263,

title = "Using Constraints for Equivalent Mutant Detection",

author = "Nica, \{Simona Alina\} and Franz Wotawa",

year = "2012",

language = "English",

booktitle = "Workshop on Formal Methods in the Development of Software",

publisher = ".",

note = "Workshop on Formal Methods in the Development of Software ; Conference date: 28-08-2012",

}