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 contributionResearchpeer-review

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

Aichernig, B., & Jöbstl, E. (2012). Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. In Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012) (pp. 752-757). IEEE Computer Society.

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. / Aichernig, Bernhard; Jöbstl, Elisabeth.

Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012). IEEE Computer Society, 2012. p. 752-757.

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

Aichernig, B & Jöbstl, E 2012, Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. in Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012). IEEE Computer Society, pp. 752-757, IEEE International Conference on Software Testing, Verification and Validation, Montreal, Canada, 17/04/12.
Aichernig B, Jöbstl E. Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. In Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012). IEEE Computer Society. 2012. p. 752-757
Aichernig, Bernhard ; Jöbstl, Elisabeth. / Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012). IEEE Computer Society, 2012. pp. 752-757
@inproceedings{02d60e7e914d40dd8841caf773565be0,
title = "Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints",
author = "Bernhard Aichernig and Elisabeth J{\"o}bstl",
year = "2012",
language = "English",
isbn = "978-1-4577-1906-6",
pages = "752--757",
booktitle = "Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012)",
publisher = "IEEE Computer Society",
address = "United States",

}

TY - GEN

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

AU - Aichernig, Bernhard

AU - Jöbstl, Elisabeth

PY - 2012

Y1 - 2012

M3 - Conference contribution

SN - 978-1-4577-1906-6

SP - 752

EP - 757

BT - Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012)

PB - IEEE Computer Society

ER -