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

  • 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: Pitfalls in Expressing Semantics as Constraints
Period21 Apr 2012
Event titleCSTVA 2012: 4th Workshop on Constraints in Software Testing, Verification, and Analysis
Event typeWorkshop