Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Improving model-based test generation by model decomposition
ESEC-FSE, 2015.
@inproceedings{ESEC-FSE-2015-ArcainiGR, author = "Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene", booktitle = "{Proceedings of the 10th Joint Meeting of the 15th European Software Engineering Conference and the 23rd Symposium on the Foundations of Software Engineering}", doi = "10.1145/2786805.2786837", isbn = "978-1-4503-3675-8", pages = "119--130", publisher = "{ACM}", title = "{Improving model-based test generation by model decomposition}", year = 2015, }