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

Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler

Research output: Contribution to journalArticle

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

Fields of Expertise

  • Information, Communication & Computing

Cite this