1st Usages of Symbolic Execution Workshop USE'15

Tappler, M. (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

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