Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov. Parallel test generation and execution with Korat. In Ivica Crnkovic, Antonia Bertolino, editors, Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007. pages 135-144, ACM, 2007. [doi]
@inproceedings{MisailovicMPKM07,
title = {Parallel test generation and execution with Korat},
author = {Sasa Misailovic and Aleksandar Milicevic and Nemanja Petrovic and Sarfraz Khurshid and Darko Marinov},
year = {2007},
doi = {10.1145/1287624.1287645},
url = {http://doi.acm.org/10.1145/1287624.1287645},
tags = {testing},
researchr = {https://researchr.org/publication/MisailovicMPKM07},
cites = {0},
citedby = {0},
pages = {135-144},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering},
editor = {Ivica Crnkovic and Antonia Bertolino},
publisher = {ACM},
isbn = {978-1-59593-811-4},
}