info@tmpaconf.org
En | Ru


Slides


2015

TMPA-2015: Software Engineering Education: The Messir Approach



Nicolas Guelfi,
University of Luxembourg

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


Sergei Pavlov, Andrey Solovyev, Alexander Bormotin, Anna Toropova,Iosif Itkin,
Exactpro

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


Mikhail Yermakov,
ISP RAS

Information Support System for Autonomous Spacecraft Control Macro-Programming


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

Lexical analysis of dynamically formed string expressions


Marina Polubelova, Semyon Grigorev,
Saint Petersburg State University

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


Artyom Aleksyuk, Vladimir Itsykson,
Saint Petersburg Polytechnic University

Reference Test Harness for Algorithmic Trading Platforms



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

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


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

ClearTH: a Tool for Automated Testing of Post Trade Systems



Anna Toropova, Ekaterina Dimova, Iosif Itkin,
Exactpro

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


Nikolay Pakulin,
ISP RAS, Moscow

Implementing the MetaVCG Approach in the C-light System




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

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



Dmitry Kondratyev,
A.P. Ershov Institute of Informatics Systems, Novosibirsk

A Need To Specify and Verify Standard Functions




Nikolay Shilov,
A.P. Ershov Institute of Informatics Systems, Novosibirsk

Formal Methods in Robotics




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

The Verification of Functional Programs by Applying Statechart Diagrams Construction Method


Andrew Mironov,
IPI RAS, Moscow

FPGA-Based Low Latency Sponsored Access



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

Kotlin: From Null Dereference to Smart Casts



Mihael Glukhikh,
JetBrains

Testing of a Robot-Programming Environment



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

Automated Testing of Multi-thread Data Structures Solutions Linerializability


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

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


Vladimir Kovalenko, Galina Alperovich,
JetBrains

Blockchain Technologies: The Future of Publishing Will Have No Middleman



Matej Michalko,
DECENT

Dynamic verification of Ticker Plant





Alyona Bulda, Maria Orlova,
Exactpro

Multi-Module Application Tracing in z/OS Environment




Rostislav Efremov,
Saint Petersburg State University, Saint Petersburg

Generation of Test Scenarios for Non Deterministic and Concurrent Telecommunication Applications


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

Multi-Platform Approach to Reverse Debugging of Virtual Machines


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