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 journal › Article › peer-review

Fingerprint

Dive into the research topics of 'Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.'. Together they form a unique fingerprint.

Computer Science

Engineering