SMT-Based False Positive Elimination in Static Program Analysis.

Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp

Browse the full ICFEM paper archive.