On the probabilistic analysis of software (invited talk abstract).

Corina S. Pasareanu

Published in: WODA+PERTEA@ISSTA (2014)

Keyphrases

invited talk
data analysis
statistical analysis
software systems
analysis tool
information retrieval
bayesian networks
information technology
software engineering
computational intelligence
software development
software tools
static analysis