Towards Bounded Infeasible Code Detection

Jürgen Christ Jochen Hoenicke Martin Schäf

Published in: CoRR (2012)

Keyphrases

detection method
detection algorithm
automatic detection
source code
database systems
detection accuracy
object detection
target detection
databases
detection rate
event detection
face detection
detection scheme
computationally expensive
false positives
infrared
search space
search algorithm
data structure
real world