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

Aichernig, B. (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

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