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]
@inproceedings{PetrenkoNR16-0,
title = {Test Generation by Constraint Solving and FSM Mutant Killing},
author = {Alexandre Petrenko and Omer Nguena-Timo and S. Ramesh},
year = {2016},
doi = {10.1007/978-3-319-47443-4_3},
url = {http://dx.doi.org/10.1007/978-3-319-47443-4_3},
researchr = {https://researchr.org/publication/PetrenkoNR16-0},
cites = {0},
citedby = {0},
pages = {36-51},
booktitle = {Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings},
editor = {Franz Wotawa and Mihai Nica and Natalia Kushik},
volume = {9976},
series = {Lecture Notes in Computer Science},
isbn = {978-3-319-47442-7},
}