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

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings
Pages	3-19
Number of pages	17
DOIs	https://doi.org/10.1016/j.entcs.2016.01.002
Publication status	Published - 2016

Name	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier
Volume	320

Fields of Expertise

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing. / Aichernig, Bernhard K.; Tappler, Martin.
The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings. 2016. p. 3-19 (Electronic Notes in Theoretical Computer Science; Vol. 320).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

@inproceedings{1371f85abb174c318b347c20e7c52868,

title = "Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing",

author = "Aichernig, {Bernhard K.} and Martin Tappler",

year = "2016",

doi = "10.1016/j.entcs.2016.01.002",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

pages = "3--19",

booktitle = "The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings",

}

TY - GEN

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

AU - Aichernig, Bernhard K.

AU - Tappler, Martin

PY - 2016

Y1 - 2016

U2 - 10.1016/j.entcs.2016.01.002

DO - 10.1016/j.entcs.2016.01.002

M3 - Conference paper

T3 - Electronic Notes in Theoretical Computer Science

SP - 3

EP - 19

BT - The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings

ER -