TMPA-2015: agenda

conference opening

Conference Оpening (RU)






Ekaterina Dimova

ClearTH: a Tool for Automated Testing of Post Trade Systems (RU)


Anna Toropova, Ekaterina Dimova, Iosif Itkin,
Exactpro

Victoria Leonchik

Reference Test Harness for Algorithmic Trading Platforms (RU)


Victoria Leonchik, Alexey Sukhov, Eugene Ushakov, Iosif Itkin, Anna-Maria Lukina,
Exactpro

Yury Litvinov

Testing of a Robot-Programming Environment (RU)


Dmitry Mordvinov, Yury Litvinov, Saint Petersburg State University
Bertrand Meyer

A Theory of Programs


Bertrand Meyer, Eiffel Software
Sergey Pavlov

Automated process of creating test scenarios for financial protocols and connectivity testing (RU)


Anna Toropova, Sergey Pavlov, Andrey Soloviev, Alexander Bormotin, Iosif Itkin, Exactpro
Alyona Bulda

Dynamic verification of input and output data streams for market data aggregation and quote dissemination systems (Ticker Plant) (RU)


Alyona Bulda, Maria Orlova, Exactpro
Marina Polubelova

Lexical analysis of dynamically formed string expressions (RU)


Marina Polubelova, Semyon Grigorev, Saint Petersburg State University
Dmitrii Mordvinov

Formal Methods in Robotics (RU)


Dmitry Mordvinov, Yury Litvinov, Saint Petersburg State University
Mikhael Glukhikh

Kotlin: From Null Dereference to Smart Casts (RU)


Michael Glukhikh, JetBrains
Valery Florov

FPGA-Based Low Latency Sponsored Access (RU)


Valery Florov, Pavel Garin, Pavel Smirnov, Maxim Metelkov, Exactpro
Artyom Aleksyuk

The Application of Parameterized Hierarchy Templates for Automated Program Code Defect-Fixing (RU)


Artyom Aleksyuk, Vladimir Itsykson, Peter The Great Saint Petersburg Polytechnic University
Nikita Voinov

Generation of Test Scenarios for Non Deterministic and Concurrent Telecommunication Applications (RU)


Pavel Drobintsev, Vsevolod Kotlyarov, Nikita Voinov, Peter The Great Saint Petersburg Polytechnic University
Andrey Mironov

The Verification of Functional Programs by Applying Statechart Diagrams Construction Method (RU)


Andrew Mironov, ISP RAS
Dmitry Kondratyev

Expanding the Meta-Generation of Correctness Conditions by Means of Semantic Markup (RU)


Dmitry Kondratyev, A.P. Ershov Institute of Informatics Systems
Nicolas Guelfi

Software Engineering Education: The Messir Approach


Nicolas Guelfi, University of Luxembourg
Rostislav Efremov

Multi-Module Application Tracing in z/OS Environment (RU)


Rostislav Efremov, Saint Petersburg State University
Nikolay Shilov

A Need To Specify and Verify Standard Functions (RU)


Nikolay Shilov, A.P. Ershov Institute of Informatics Systems
Mikhail Yermakov

The dynamic analysis of executable code in ELF format based on static binary instrumentation (RU)


Mikhail Yermakov, ISP RAS
Dmitry Kondtratyev

Implementing the MetaVCG Approach in the C-light System (RU)


Alexei Promsky, Dmitry Kondtratyev, A.P. Ershov Institute of Informatics Systems
Anton Evdokimov

Automated Testing of Multi-thread Data Structures Solutions Linerializability (RU)


Anton Evdokimov, Dmitry Tsitelov, Roman Elizarov, Vitaly Trifanov, Saint Petersburg State University of Information Technologies, Mechanics and Optics, Saint Petersburg
Pavel Dovgalyuk

Multi-Platform Approach to Reverse Debugging of Virtual Machines (RU)


Pavel Dovgalyuk, Maria Klimushenkova, Denis Dmitriev and Vladimir Makarov, Novgorod State University
Anton Semyonchenko

Automated testing: yesterday, today, tomorrow – the vectors of development


Anton Semyonchenko, DPI Solutions
Andrew Tyugashev

Information Support System for Autonomous Spacecraft Control Macro-Programming (RU)


Andrew Tyugashev, Anton Nasekin, Saint Petersburg State University of Information Technologies, Mechanics and Optics
Nikolay Pakulin

Standards and Standartization in Program Engineering. Why Would You Care? (RU)


Nikolay Pakulin, ISP RAS
Vladimir Kovalenko

Towards a Usable Defect Prediction Tool: Crossbreeding Machine Learning and Heuristics (RU)


Vladimir Kovalenko, Galina Alperovich, JetBrains
Yakov Roskoshnyy

The Application of Static Analysis to Optimize the Dynamic Detection of Race Conditions (RU)


Yakov Roskoshnyy, Dmitry Tsitelov, Vitaly Trifanov, Roman Elizarov, Saint Petersburg State University of Information Technologies, Mechanics and Optics
conference closing

TMPA-2015: Conference Closing Remarks (RU)



TMPA-2015

TMPA-2015: Tools and Methods of Program Analysis Conference




About TMPA-2015

About TMPA-2015. POLITECH.