Ankush Desai, Shaz Qadeer, Sanjit A. Seshia
Systematic testing of asynchronous reactive systems
ESEC-FSE, 2015.
@inproceedings{ESEC-FSE-2015-DesaiQS,
author = "Ankush Desai and Shaz Qadeer and Sanjit A. Seshia",
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.2786861",
isbn = "978-1-4503-3675-8",
pages = "73--83",
publisher = "{ACM}",
title = "{Systematic testing of asynchronous reactive systems}",
year = 2015,
}