Doctoral Symposium at FM 2011 - 17th International Symposium on Formal Methods

Elisabeth Jöbstl (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Symbolic Model-Based Mutation Testing
Zeitraum20 Jun 2011
EreignistitelDoctoral Symposium at FM 2011 - 17th International Symposium on Formal Methods
VeranstaltungstypKonferenz