Seventh Workshop on Model-Based Testing (MBT)

  • Elisabeth Jöbstl (Speaker)

Activity: Talk or presentation › Talk at workshop, seminar or course › Science 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): MBT 2012
Event typeWorkshop
LocationTallinn, EstoniaShow on map