@misc{indiciae610d6e2d14ac,
  title = {Compositional Solution Space Quantification for Probabilistic Software Analysis},
  author = {Borges, Mateus and Pasareanu, Corina S. and Filieri, Antonio and d'Amorim, Marcelo and Visser, Willem},
  year = {2014},
  url = {https://ntrs.nasa.gov/citations/20150004088},
  note = {Source identifier: 20150004088}
}