International Conference on Tests and Proofs 2013

Florian Lukas Lorber (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Time for Mutants —Model-based Mutation Testing with Timed Automata
Period18 Jun 2013
Held atInternational Conference on Tests and Proofs 2013
Event typeConference
LocationBudapest, Hungary