Media Summary: Alexei Promsky, Dmitry Kondtratyev, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 November Multi-Platform Approach to Reverse Debugging of Virtual Machines Pavel Dovgalyuk, Maria Klimushenkova, Denis Dmitriev and ... A Need To Specify and Verify Standard Functions Nikolay Shilov, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 ...
Tmpa 2015 Implementing The Metavcg - Detailed Analysis & Overview
Alexei Promsky, Dmitry Kondtratyev, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 November Multi-Platform Approach to Reverse Debugging of Virtual Machines Pavel Dovgalyuk, Maria Klimushenkova, Denis Dmitriev and ... A Need To Specify and Verify Standard Functions Nikolay Shilov, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 ... Multi-Module Application Tracing in z/OS Environment Rostislav Efremov, Saint Petersburg State University, Saint Petersburg 12 ... Expanding the Meta-Generation of Correctness Conditions by Means of Semantic Markup Dmitry Kondratyev, A.P. Ershov Institute ... Information Support System for Autonomous Spacecraft Control Macro-Programming Andrew Tyugashev, Anton Nasekin, Saint ...
Testing of a Robot-Programming Environment Dmitry Mordvinov, Yury Litvinov, Saint Petersburg State University, Saint ... The Application of Parameterized Hierarchy Templates for Automated Program Code Defect-Fixing Artyom Aleksyuk, Vladimir ... Automated testing: yesterday, today, tomorrow – the vectors of development Anton Semyonchenko, DPI Solutions 12 - 14 ... In this episode, Joe Gamaldi, a full-time patrol Lieutenant with the and National Vice ... The Application of Static Analysis to Optimize the Dynamic Detection of Race Conditions Yakov Roskoshnyy, Dmitry Tsitelov, ...
