Acte de conférence, colloque et atelier

Test Generation by Constraint Solving and FSM Mutan Killing

Petrenko, A., Nguena Timo, O. and Ramesh, S. "Test Generation by Constraint Solving and FSM Mutan Killing" in Proc. of the 28th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2016), pp. 36-51 Volume 9976 of the series Lecture Notes in Computer Science. Graz, Austria, du 17 au 19 octobre 2016