1st Usages of Symbolic Execution Workshop USE'15

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Beschreibung

Talk: Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing
Zeitraum23 Juni 2015
Ereignistitel1st Usages of Symbolic Execution Workshop USE'15
VeranstaltungstypWorkshop