Seventh Workshop on Model-Based Testing (MBT)

Elisabeth Jöbstl (Speaker)

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

Description

Talk: Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking
Period25 Mar 2012
Event titleSeventh Workshop on Model-Based Testing (MBT)
Event typeWorkshop