AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Mikhail Glukhikh

Mikhail Glukhikh

Peter the Great St.Petersburg Polytechnic University - Saint Petersburg / Russia
Others
AD Scientific Index ID: 4610122
Санкт-Петербургский государственный политехнический университет
person_outline Mikhail Glukhikh's MOST POPULAR ARTICLES
1-) Программная инженерия. Обеспечение качества программных средств методами статического анализа: учебное пособие
2-) Использование зависимостей для повышения точности статического анализа программ Моделирование и анализ информационных систем 18 (4), 68-79, 2011
3-) Detection of incorrect pointer dereferences for C/C++ programs using static code analysis and logical inference 2013 Tools & Methods of Program Analysis, 78-82, 2013
4-) Using dependencies to improve precision of code analysis Automatic Control and Computer Sciences 46 (7), 338-344, 2012
5-) On Requirements for Acceptance Testing Automation Tools in Behavior Driven Software Development SECR-2012, http://2012.secr.ru, 2012