Doctoral Symposium at FM 2011 - 17th International Symposium on Formal Methods

Elisabeth Jöbstl (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Symbolic Model-Based Mutation Testing
Period20 Jun 2011
Held atDoctoral Symposium at FM 2011 - 17th International Symposium on Formal Methods
Event typeConference