%0 Conference Paper %1 conf/pts/PetrenkoNR16 %A Petrenko, Alexandre %A Nguena-Timo, Omer %A Ramesh, S. %B ICTSS %D 2016 %E Wotawa, Franz %E Nica, Mihai %E Kushik, Natalia %K dblp %P 36-51 %T Test Generation by Constraint Solving and FSM Mutant Killing. %U http://dblp.uni-trier.de/db/conf/pts/ictss2016.html#PetrenkoNR16 %V 9976 %@ 978-3-319-47442-7

@inproceedings{conf/pts/PetrenkoNR16, added-at = {2023-03-14T00:00:00.000+0100}, author = {Petrenko, Alexandre and Nguena-Timo, Omer and Ramesh, S.}, biburl = {https://www.bibsonomy.org/bibtex/2719d14b73295eb514741c2036da24e45/dblp}, booktitle = {ICTSS}, crossref = {conf/pts/2016}, editor = {Wotawa, Franz and Nica, Mihai and Kushik, Natalia}, ee = {https://doi.org/10.1007/978-3-319-47443-4_3}, interhash = {6e0afd517c7a70de8ea58940f9836b46}, intrahash = {719d14b73295eb514741c2036da24e45}, isbn = {978-3-319-47442-7}, keywords = {dblp}, pages = {36-51}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:45:23.000+0200}, title = {Test Generation by Constraint Solving and FSM Mutant Killing.}, url = {http://dblp.uni-trier.de/db/conf/pts/ictss2016.html#PetrenkoNR16}, volume = 9976, year = 2016 }