Static detection of brittle parameter typing.

Michael Pradel Severin Heiniger Thomas R. Gross

Published in: ISSTA (2012)

Keyphrases

false alarms
automatic detection
object detection
detection accuracy
detection method
oil spill
database
event detection
false positives
detection algorithm
machine learning
video sequences
change detection
similarity measure
database systems
image processing
computer vision
detection scheme