Detection of Probabilistic Dangling References in Multi-core Programs Using Proof-Supported Tools.
Mohamed A. El-ZawawyPublished in: ICCSA (5) (2013)
Keyphrases
- automatic detection
- computer programs
- software tools
- probabilistic model
- decision support
- detection method
- detection algorithm
- theorem proving
- detection rate
- generative model
- programming environments
- provably correct
- free software
- detection accuracy
- uncertain data
- application programs
- probability theory
- cost based abduction
- probabilistic logic programs
- posterior probability
- false alarms
- software components
- information systems
- conditional probabilities
- building blocks
- anomaly detection
- object detection
- software engineering
- bayesian networks
- database systems