Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints

Bernhard Aichernig, Elisabeth Jöbstl

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

Originalspracheenglisch
TitelWorkshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012)
Herausgeber (Verlag)IEEE Computer Society
Seiten752-757
ISBN (Print)978-1-4577-1906-6
PublikationsstatusVeröffentlicht - 2012
VeranstaltungIEEE International Conference on Software Testing, Verification and Validation: ICST 2012 - Montreal, Kanada
Dauer: 17 Apr 201221 Apr 2012

Konferenz

KonferenzIEEE International Conference on Software Testing, Verification and Validation
Land/GebietKanada
OrtMontreal
Zeitraum17/04/1221/04/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Dieses zitieren