Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor. Generation of C++ Unit Tests from Abstract State Machines Specifications. In 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, Västerås, Sweden, April 9-13, 2018. pages 185-193, IEEE, 2018. [doi]
@inproceedings{BonfantiGM18-2,
title = {Generation of C++ Unit Tests from Abstract State Machines Specifications},
author = {Silvia Bonfanti and Angelo Gargantini and Atif Mashkoor},
year = {2018},
doi = {10.1109/ICSTW.2018.00049},
url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2018.00049},
researchr = {https://researchr.org/publication/BonfantiGM18-2},
cites = {0},
citedby = {0},
pages = {185-193},
booktitle = {2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, Västerås, Sweden, April 9-13, 2018},
publisher = {IEEE},
isbn = {978-1-5386-6352-3},
}