1st Usages of Symbolic Execution Workshop USE'15

Tappler, M. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

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