Using Constraints for Equivalent Mutant Detection

Simona Alina Nica, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationWorkshop on Formal Methods in the Development of Software
Publisher.
Publication statusAccepted/In press - 2012
EventWorkshop on Formal Methods in the Development of Software - Paris, France
Duration: 28 Aug 2012 → …

Conference

ConferenceWorkshop on Formal Methods in the Development of Software
CountryFrance
CityParis
Period28/08/12 → …

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Experimental

Cite this

Nica, S. A., & Wotawa, F. (Accepted/In press). Using Constraints for Equivalent Mutant Detection. In Workshop on Formal Methods in the Development of Software ..

Using Constraints for Equivalent Mutant Detection. / Nica, Simona Alina; Wotawa, Franz.

Workshop on Formal Methods in the Development of Software. ., 2012.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Nica, SA & Wotawa, F 2012, Using Constraints for Equivalent Mutant Detection. in Workshop on Formal Methods in the Development of Software. ., Workshop on Formal Methods in the Development of Software, Paris, France, 28/08/12.
Nica SA, Wotawa F. Using Constraints for Equivalent Mutant Detection. In Workshop on Formal Methods in the Development of Software. . 2012
Nica, Simona Alina ; Wotawa, Franz. / Using Constraints for Equivalent Mutant Detection. Workshop on Formal Methods in the Development of Software. ., 2012.
@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 = ".",

}

TY - GEN

T1 - Using Constraints for Equivalent Mutant Detection

AU - Nica, Simona Alina

AU - Wotawa, Franz

PY - 2012

Y1 - 2012

M3 - Conference contribution

BT - Workshop on Formal Methods in the Development of Software

PB - .

ER -