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

Bernhard Aichernig, Elisabeth Jöbstl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationWorkshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012)
PublisherIEEE Computer Society
Pages752-757
ISBN (Print)978-1-4577-1906-6
Publication statusPublished - 2012
EventIEEE International Conference on Software Testing, Verification and Validation - Montreal, Canada
Duration: 17 Apr 201221 Apr 2012

Conference

ConferenceIEEE International Conference on Software Testing, Verification and Validation
CountryCanada
CityMontreal
Period17/04/1221/04/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Cite this