Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs.

Dennis Dams Kedar S. Namjoshi

Published in: FMCO (2005)

Keyphrases

high precision
error analysis
significant improvement
high recall
information retrieval
machine learning
computer vision
video sequences
preprocessing
computational cost
high reliability