Automatic concurrency defect detection for Android applications by V. P. Ivannikov, S. P. Vartanov, M. K. Ermakov

Get full text

How the story of UniTESK technology applications mirrors development of model based testing by V. P. Ivannikov, A. K. Petrenko, V. V. Kuliamin, A. V. Maksimov

Get full text

Model of data handling for in-depth analysis of network traffic by A. I. Get'man, V. P. Ivannikov, Yu. V. Markin, V. A. Padaryan, A. Yu. Tikhonov

Get full text

Static analyzer Svace for finding of defects in program source code by V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, A. I. Avetisyan, M. I. Leonov

Get full text