Searching for Bugs Using Probabilistic Suspect Implications.
Neil VeiraZissis PoulosAndreas G. VenerisPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
- bayesian networks
- generative model
- probabilistic logic
- multi agent
- uncertain data
- learning algorithm
- clustering algorithm
- probabilistic model
- probabilistic reasoning
- context sensitive
- test cases
- graphical models
- probability theory
- static analysis
- posterior probability
- data driven
- real time
- source code
- open source
- evolutionary algorithm
- image processing
- information retrieval