1st Usages of Symbolic Execution Workshop USE'15

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

Talk: Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing
Period23 Jun 2015
Event title1st Usages of Symbolic Execution Workshop USE'15
Event typeWorkshop