The Community for Technology Leaders
2013 Tools & Methods of Program Analysis (TMPA) (2013)
Kostroma, Russia
Oct. 10, 2013 to Oct. 12, 2013
ISBN: 978-0-9860773-1-9
TABLE OF CONTENTS

Dynamic data race detection in Java-programs using synchronization contracts (Abstract)

Dmitry Tsitelov , Devexperts LLC, Saint-Peterburg, Russia
Vitaly Trifanov , Devexperts LLC, SPbSU, Saint-Peterburg, Russia
pp. 3-8

UPPAAL-based software-defined network verification (Abstract)

Vladislav Podymov , Faculty of Computational Mathematics and Cybernetics, Lomonosov MSU, Moscow, Russia
Uliana Popesko , Faculty of Computational Mathematics and Cybernetics, Lomonosov MSU, Moscow, Russia
pp. 9-14

Construction and verification of PLC programs by LTL specification (Abstract)

E.V. Kuzmin , Yaroslavl State University, Russia
A.A. Shipov , Yaroslavl State University, Russia
D.A. Ryabukhin , Yaroslavl State University, Russia
pp. 15-22

Correctness checking of HDL-model behavior based on runtime trace matching (Abstract)

V.P. Ivannikov , Institute for System Programming of the Russian Academy of Sciences (ISPRAS), 25 Alexander Solzhenitsyn st., Moscow, Russia, 109004
A.S. Kamkin , Institute for System Programming of the Russian Academy of Sciences (ISPRAS), 25 Alexander Solzhenitsyn st., Moscow, Russia, 109004
M.M. Chupilko , Institute for System Programming of the Russian Academy of Sciences (ISPRAS), 25 Alexander Solzhenitsyn st., Moscow, Russia, 109004
pp. 25-30

On improving the statistical method used to access the completeness of tests for software systems and discrete devices (Abstract)

B.M. Basok , Moscow State Institute of Radio Engineering, Electronics and Automation (MIREA), Russia
A.A. Grechin , Moscow State Institute of Radio Engineering, Electronics and Automation (MIREA), Russia
pp. 33-36

Special features of testing tools applicable for use in trading systems production (Abstract)

A.A. Averina , “Innovative Trading Systems”, LLC, Kostroma, Russia
I.L. Itkin , “Exactpro Systems”, LLC, San Rafael, CA, USA
N.A. Antonov , “Innovative Trading Systems”, LLC, Kostroma, Russia
pp. 39-43

Usage of exchange simulators and test exchanges as tools for Ticker Plant systems testing (Abstract)

A.Y. Bulda , “Innovative Trading Systems”, LLC, Kostroma, Russia
A.V. Zverev , “Exactpro Systems”, LLC, San Rafael, CA, USA
O.A. Buyanova , “Innovative Trading Systems”, LLC, Moscow, Russia
pp. 44-56

High performance load generator for automated trading systems testing (Abstract)

D.K. Guriev , “Innovative Trading Systems”, LLC, Saratov, Russia
A.A. Terentyev , Yuri Gagarin State Technical University of Saratov, Russia
M.A. Gai , “Innovative Trading Systems”, LLC, Moscow, Russia
I.L. Itkin , “Exactpro Systems”, LLC, San Rafael, CA, USA
pp. 57-62

Compatibility testing of clients' protocol connectivity to exchange and broker systems (Abstract)

A.N. Alexeenko , “ITS-EXPERT”, LLC, Moscow, Russia
I.L. Itkin , “Exactpro Systems”, LLC, San Rafael, CA, USA
A.A. Averina , “ITS-EXPERT”, LLC, Kostroma, Russia
D.S. Sharov , “ITS-EXPERT”, LLC, Kostroma, Russia
P.A. Protsenko , “Exactpro Systems”, LLC, London, UK
pp. 63-67

Dynamic verification of hybrid systems (Abstract)

Nikolay Pakulin , Department of Software Engineeing, Institute for System Programming of RAS, Moscow, Russia
pp. 71-77

Detection of incorrect pointer dereferences for C/C++ programs using static code analysis and logical inference (Abstract)

Tatiana Vert , St. Petersburg State, Polytechnical University, Russia
Tatiana Krikun , St. Petersburg State, Polytechnical University, Russia
Mikhail Glukhikh , Clausthal University of Technology, Clausthal, Germany
pp. 78-82

Generating unit tests using static analysis and contracts (Abstract)

Aleftina Andrianova , Computer Systems & Software Engineering Dept., St. Petersburg State Polytechnical University, Russia
Vladimir Itsykson , Computer Systems & Software Engineering Dept., St. Petersburg State Polytechnical University, Russia
pp. 83-88

Author index (PDF)

pp. 89

[Title page] (PDF)

pp. 90

Proceedings (PDF)

pp. i

[Blank page] (PDF)

pp. ii

Proceedings (PDF)

pp. iii

Reviewers (PDF)

pp. x

Table of contents (PDF)

pp. v-vi
81 ms
(Ver 3.3 (11022016))