Sign in
Compositional solution space quantification for probabilistic software analysis.
Mateus Borges
Antonio Filieri
Marcelo d'Amorim
Corina S. Pasareanu
Willem Visser
Published in:
PLDI (2014)
Keyphrases
</>
solution space
search space
analysis tool
software development
software tools
artificial intelligence
probabilistic model
metaheuristic
feasible solution
real time
data analysis
image analysis
open source
software architecture