Compositional solution space quantification for probabilistic software analysis.

Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser

Browse the full PLDI paper archive.