@inproceedings{PLDI-2014-BorgesFdPV,
author = "Mateus Borges and Antonio Filieri and Marcelo d'Amorim and Corina S. Pasareanu and Willem Visser",
booktitle = "{Proceedings of the 35th Conference on Programming Language Design and Implementation}",
doi = "10.1145/2594291.2594329",
editor = "Michael F. P. O'Boyle and Keshav Pingali",
isbn = "978-1-4503-2784-8",
pages = "15",
publisher = "{ACM}",
title = "{Compositional solution space quantification for probabilistic software analysis}",
year = 2014,
}
Tags: