Program analysis for bug detection using parfait: invited talk.

Cristina Cifuentes Nathan Keynes Lian Li Bernhard Scholz

Published in: PEPM (2009)

Keyphrases

invited talk
false positives
automatic detection
detection accuracy
selected papers
object detection
detection method
software systems
event detection
false alarms
database
neural network
e learning
source code
carefully reviewed and selected from submissions