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

Filter
Finished

Search results