Research work · 2012

SMT-Based False Positive Elimination in Static Program Analysis

Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp

Lecture notes in computer science

DOI: 10.1007/978-3-642-34281-3_23