Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

Bernhard K. Aichernig, Martin Tappler

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

Original languageEnglish
Title of host publicationThe 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings
Pages3-19
Number of pages17
DOIs
Publication statusPublished - 2016

Publication series

NameElectronic Notes in Theoretical Computer Science
PublisherElsevier
Volume320

Fields of Expertise

  • Information, Communication & Computing

Cite this

Aichernig, B. K., & Tappler, M. (2016). Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing. In The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings (pp. 3-19). (Electronic Notes in Theoretical Computer Science; Vol. 320). https://doi.org/10.1016/j.entcs.2016.01.002