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

Aichernig, B. (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience 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