Static detection of asymptotic performance bugs in collection traversals.

Oswaldo Olivo Isil Dillig Calvin Lin

Published in: PLDI (2015)

Keyphrases

automatic detection
detection method
database
false alarms
software projects
document collections
false positives
databases
decision trees
object detection
source code
anomaly detection
event detection
detection rate
detection algorithm
static analysis
software systems
digital images
multi agent systems
data sets