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

  • Elisabeth Jöbstl (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Beschreibung

Talk: Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints
Zeitraum21 Apr. 2012
EreignistitelCSTVA 2012: 4th Workshop on Constraints in Software Testing, Verification, and Analysis
VeranstaltungstypWorkshop