Suche

SMT-Based False Positive Elimination in Static Program Analysis

Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp

In: Toshiaki Aoki, Kenji Taguchi (Hgg.). Proc. 14th Int. Conf. Formal Methods and Software Engineering (ICFEM'12). Lect. Notes Comp. Sci. 7635. Springer, Berlin, 2012. S. 316-331. DOI: http://dx.doi.org/10.1007/978-3-642-34281-3_23


Downloads:

  • PDF  -  (junker-et-al_icfem_2012.pdf, 356 KB)