Acte de conférence, colloque et atelier

Multiple Mutation Testing from FSM

Petrenko, A., Nguena Timo, O. and Ramesh, S. "Multiple Mutation Testing from FSM" in Proc of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (DisCoTec 2016), pp. 222-238 Volume 9688 of the series Lecture Notes in Computer Science. Heraklion, Crete, Greece, du 6 au 9 juin 2016