Seventh Workshop on Model-Based Testing (MBT)

  • 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: Combining Reachability and Refinement Checking
Zeitraum25 März 2012
EreignistitelSeventh Workshop on Model-Based Testing: MBT 2012
VeranstaltungstypWorkshop
OrtTallinn, EstlandAuf Karte anzeigen