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 ..