Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh. Test Generation by Constraint Solving and FSM Mutant Killing. In Franz Wotawa, Mihai Nica, Natalia Kushik, editors, Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Volume 9976 of Lecture Notes in Computer Science, pages 36-51, 2016. [doi]
Abstract is missing.