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

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

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