Saturn: A SAT-Based Tool for Bug Detection.

Yichen Xie Alexander Aiken

Published in: CAV (2005)

Keyphrases

detection algorithm
automatic detection
detection rate
object detection
false positives
detection accuracy
orders of magnitude
neural network
event detection
project management