Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser. Exact and approximate probabilistic symbolic execution for nondeterministic programs. In Ivica Crnkovic, Marsha Chechik, Paul Grünbacher, editors, ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014. pages 575-586, ACM, 2014. [doi]
@inproceedings{LuckowPDFV14,
title = {Exact and approximate probabilistic symbolic execution for nondeterministic programs},
author = {Kasper Søe Luckow and Corina S. Pasareanu and Matthew B. Dwyer and Antonio Filieri and Willem Visser},
year = {2014},
doi = {10.1145/2642937.2643011},
url = {http://doi.acm.org/10.1145/2642937.2643011},
researchr = {https://researchr.org/publication/LuckowPDFV14},
cites = {0},
citedby = {0},
pages = {575-586},
booktitle = {ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014},
editor = {Ivica Crnkovic and Marsha Chechik and Paul Grünbacher},
publisher = {ACM},
isbn = {978-1-4503-3013-8},
}