Using Constraints for Equivalent Mutant Detection

Simona Alina Nica, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelWorkshop on Formal Methods in the Development of Software
Herausgeber (Verlag).
PublikationsstatusAngenommen/In Druck - 2012
VeranstaltungWorkshop on Formal Methods in the Development of Software - Paris, Frankreich
Dauer: 28 Aug. 2012 → …

Konferenz

KonferenzWorkshop on Formal Methods in the Development of Software
Land/GebietFrankreich
OrtParis
Zeitraum28/08/12 → …

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Experimental

Dieses zitieren