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

Research output: Contribution to journalArticlepeer-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.

Mathematics

Engineering & Materials Science