%0 Conference Paper %1 conf/icse/VuottoNPT19 %A Vuotto, Simone %A Narizzano, Massimo %A Pulina, Luca %A Tacchella, Armando %B RET@ICSE %D 2019 %E Gay, Gregory %E Tahvili, Sahar %E Unterkalmsteiner, Michael %I IEEE / ACM %K dblp %P 13-16 %T Automata based test generation with SpecPro. %U http://dblp.uni-trier.de/db/conf/icse/ret2019.html#VuottoNPT19 %@ 978-1-7281-2274-8

@inproceedings{conf/icse/VuottoNPT19, added-at = {2019-09-23T00:00:00.000+0200}, author = {Vuotto, Simone and Narizzano, Massimo and Pulina, Luca and Tacchella, Armando}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f981f3e58e95bf72301f61f8b0e14363/dblp}, booktitle = {RET@ICSE}, crossref = {conf/icse/2019ret}, editor = {Gay, Gregory and Tahvili, Sahar and Unterkalmsteiner, Michael}, ee = {https://dl.acm.org/citation.cfm?id=3340864}, interhash = {8ebceae154d7bdb8cd6a18d96680cc51}, intrahash = {f981f3e58e95bf72301f61f8b0e14363}, isbn = {978-1-7281-2274-8}, keywords = {dblp}, pages = {13-16}, publisher = {IEEE / ACM}, timestamp = {2019-09-27T17:44:10.000+0200}, title = {Automata based test generation with SpecPro.}, url = {http://dblp.uni-trier.de/db/conf/icse/ret2019.html#VuottoNPT19}, year = 2019 }