Festschrift Symposium in Honor of Jose Nuno Oliveira

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 Sept 2015
Event titleFestschrift Symposium in Honor of Jose Nuno Oliveira
Event typeConference