CSTVA 2012: 4th Workshop on Constraints in Software Testing, Verification, and Analysis

Elisabeth Jöbstl (Speaker)

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

Description

Talk: Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints
Period21 Apr 2012
Held atCSTVA 2012: 4th Workshop on Constraints in Software Testing, Verification, and Analysis
Event typeWorkshop