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]

Authors

V. P. Ivannikov

This author has not been identified. Look up 'V. P. Ivannikov' in Google

A. A. Belevantsev

This author has not been identified. Look up 'A. A. Belevantsev' in Google

A. E. Borodin

This author has not been identified. Look up 'A. E. Borodin' in Google

V. N. Ignatiev

This author has not been identified. Look up 'V. N. Ignatiev' in Google

D. M. Zhurikhin

This author has not been identified. Look up 'D. M. Zhurikhin' in Google

Arutyun Avetisyan

This author has not been identified. Look up 'Arutyun Avetisyan' in Google