Festschrift Symposium in Honor of Jose Nuno Oliveira

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Does this Fault Lead to Failure? Combining Refinement and Input-Output Conformance Checking in Fault-Oriented Test-Case Generation
Period26 Sep 2015
Held atFestschrift Symposium in Honor of Jose Nuno Oliveira
Event typeConference