Ankush Desai, Shaz Qadeer, Sanjit A. Seshia. Systematic testing of asynchronous reactive systems. In Elisabetta Di Nitto, Mark Harman, Patrick Heymans, editors, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015. pages 73-83, ACM, 2015. [doi]
@inproceedings{DesaiQS15,
title = {Systematic testing of asynchronous reactive systems},
author = {Ankush Desai and Shaz Qadeer and Sanjit A. Seshia},
year = {2015},
doi = {10.1145/2786805.2786861},
url = {http://doi.acm.org/10.1145/2786805.2786861},
researchr = {https://researchr.org/publication/DesaiQS15},
cites = {0},
citedby = {0},
pages = {73-83},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015},
editor = {Elisabetta Di Nitto and Mark Harman and Patrick Heymans},
publisher = {ACM},
isbn = {978-1-4503-3675-8},
}