Static analyzer Svace for finding defects in a source program code

V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, Arutyun Avetisyan. Static analyzer Svace for finding defects in a source program code. Programming and Computer Software, 40(5):265-275, 2014. [doi]

Abstract

Abstract is missing.