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

13 Oct 2025J. Log. Algebraic Methods Program. 2016EveryoneCC BY-SA 4.0