FMCO 2010: Formal Methods for Components and Objects, 9th International Symposium, Graz, Austria, November 29 - December 1, 2010.

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Model-Based Mutation Testing with Action Systems: a Story about Eight Killers
Zeitraum30 Nov. 2010
EreignistitelFMCO 2010: Formal Methods for Components and Objects, 9th International Symposium, Graz, Austria, November 29 - December 1, 2010.
VeranstaltungstypKonferenz