Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Article number85:5,Part 2
Pages (from-to)806-823
Number of pages18
JournalThe journal of logic and algebraic programming
Volume85
Issue number5, Part 2
DOIs
Publication statusPublished - 2016

Fields of Expertise

  • Information, Communication & Computing

Cite this

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. / Aichernig, Bernhard K.; Jöbstl, Elisabeth; Tappler, Martin.

In: The journal of logic and algebraic programming, Vol. 85, No. 5, Part 2, 85:5,Part 2, 2016, p. 806-823.

Research output: Contribution to journalArticleResearchpeer-review

@article{7e0657736dae41538102d9d185bca366,
title = "Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.",
author = "Aichernig, {Bernhard K.} and Elisabeth J{\"o}bstl and Martin Tappler",
year = "2016",
doi = "10.1016/j.jlamp.2016.02.002",
language = "English",
volume = "85",
pages = "806--823",
journal = "The journal of logic and algebraic programming",
issn = "1567-8326",
publisher = "Elsevier Inc.",
number = "5, Part 2",

}

TY - JOUR

T1 - Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

AU - Aichernig, Bernhard K.

AU - Jöbstl, Elisabeth

AU - Tappler, Martin

PY - 2016

Y1 - 2016

U2 - 10.1016/j.jlamp.2016.02.002

DO - 10.1016/j.jlamp.2016.02.002

M3 - Article

VL - 85

SP - 806

EP - 823

JO - The journal of logic and algebraic programming

JF - The journal of logic and algebraic programming

SN - 1567-8326

IS - 5, Part 2

M1 - 85:5,Part 2

ER -