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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelThe 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings
Seiten3-19
Seitenumfang17
DOIs
PublikationsstatusVeröffentlicht - 2016

Publikationsreihe

NameElectronic Notes in Theoretical Computer Science
Herausgeber (Verlag)Elsevier
Band320

Fields of Expertise

  • Information, Communication & Computing

Dies zitieren

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 (S. 3-19). (Electronic Notes in Theoretical Computer Science; Band 320). https://doi.org/10.1016/j.entcs.2016.01.002

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. S. 3-19 (Electronic Notes in Theoretical Computer Science; Band 320).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Aichernig, BK & 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. Electronic Notes in Theoretical Computer Science, Bd. 320, S. 3-19. https://doi.org/10.1016/j.entcs.2016.01.002
Aichernig BK, Tappler M. 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. 2016. S. 3-19. (Electronic Notes in Theoretical Computer Science). https://doi.org/10.1016/j.entcs.2016.01.002
Aichernig, Bernhard K. ; Tappler, Martin. / Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing. The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings. 2016. S. 3-19 (Electronic Notes in Theoretical Computer Science).
@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 contribution

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 -