EXTENT Trading Technologies Trends & Quality Assurance

понедельник, 14 октября 2013 г.

Presentations from TMPA-2013 are now available on SlideShare

Program:


October 10, 2013
09:00
Registration
09:30
Conference Оpening
10:15
Yuri G. Karpov, Professor, Head of Department of Distributed Computing and Networking of the St. Petersburg State
Polytechnic University Technical Cybernetics School SPSPUTCS

Verification of Parallel Programs – Current Stage and Perspectives
11:15 Coffee-break
verification:
11:45
Pakulin, N., Institute for System Programming, ISP RAS
Dynamic Verification of Hybrid Systems
12:15
12:45
Kuzmin, Е., Ryabukhin, D., Shipov, А Yaroslavl State University
Building and Verification of PLC Programs Based on LTL Specification
13:15
Anureyev, I., A.P.Ershov Institute of Informatics Systems
On the Road to Technology of Developing the Means of Deductive Program Verification
13:45
Lukin, M., Shalyto, А. , St. Petersburg National Research University of Information Technologies, Mechanics and Optics
Verification of Distributed Automated Programs Using the Spin Tool
14:00 Lunch
15:30
Zaitsev D., Professor, International Humanitarian University, Odessa, Ukraine

The Efficient Universal Sleptsov Net
hardware track:
16:00
Ivannikov, V.P., Kamkin, A.S., Chupilko, M.M., Institute for System Programming, ISP RAS
Verification of Correct Behaviour of HDL-Models of Digital Equipment Based on the Dynamic Comparison of Tracks
17:00
Shipin, А.А., Sokolov, V.А., Chaliy, D.U., Yaroslavl State University
The Usage of Check Points for SystemC Program Verification
17:30
Frenkel, S.L., Zakharov, V.N., Ushakov, V.G., Institute of Informatics Problems, RAS; Moscow State University
Unified High Level Model of Software and Hardware System for Verifying Functional Reliability
17:45
Smirnov, М., Olonichev, V., Staroverov, B. , Kostroma State Technological University
The Specifics of Developing Software for Linux Controllers


October 11, 2013
08:30
Registration
09:30
Alexander K. Petrenko, Professor, Head of Programming Technologies Department, Institute for System Programming ISP RAS
Technical Solutions and Non-Technical Challenges of Test Automation
10:30 ISTQB
testing:
11:00
Basok, B., Grechin, A., Moscow State Technical University of Radioengineering, Electronics and Automation
On Improving the Statistical Method of Assessing Test Coverage for Programs and Devices
11:30 Coffee-break
12:00
12:30
13:00
Nikeshin, А., Pakulin, N., Shnitman, V., Institute for System Programming, ISP RAS
Automation of Conformance Testing of TLS Transport Layer Security Protocol
13:15
trading system:
13:30
Matveeva, А., Antonov, N., Itkin, I, Innovative Trading Systems, LLC, Kostroma State Technological University, Exactpro Systems, LLC
The Specifics of Test Tools Used in Trading Systems Production Environments
14:00 Lunch
15:30
Alexeenko, А., Protsenko, P., Matveeva, А., Itkin, I., Sharov D., Innovative Trading Systems, LLC, Exactpro Systems LLC
Compatibility Testing of Protocol Connections of Exchange and Broker Systems Clients
15:50
О., Buyanova, А, Zverev, А.,Bulda Innovative Trading Systems, LLC, Kostroma State Technological University,
Exactpro Systems, LLC

The Application of Exchange Simulators for Ticker Plant Testing
16:10
Guriev, D., Gai, M., Itkin, I., Terentiev, A., Innovative Trading Systems, LLC
High Performance Load Generator for Automated Trading Systems Testing
16:30
Pryadkina N., Kryukov, A , Kostroma State Technological University
Model Based Testing Approach for Verification of Exchange Surveillance Systems
16:45
17:00 Coffee-break
17:30
Round Table:
Electronic Trading Platforms: Unconventional Methods of Software Testing

October 12, 2013
09:00
Registration
09:30
Vladimir A. Zakharov, Associate Professor of Mathematical Cybernetics Department, Head of Laboratory of Mathematical Problems of Computer Security, Faculty of Computational Mathematics and Cybernetics, Moscow State University (MSU)
Mathematical Aspects of Program Obfuscation
analysis of programs:
10:30
Tsytelov, D., Trifanov, V., Devexperts LLC, St. Petersburg State University
Search of Race Conditions in Java Programs Based on Synchronization Contracts
11:00
Vert, Т., Krikun, Т. и Glukhih, М., St. Petersburg State Polytechnic University, Clausthal Technical University
Finding Defects in C and C++ Pointers Using Static Analysis and Logical Inference
11:30 Coffee-break
12:00
Andrianova, А., Itsykson, V., St. Petersburg State Polytechnic University
Automated Test Synthesis for Java Programs Based on Program Analysis and Contract Inventory
12:30
Bui, D., Kompan, S., Taras Shevchenko National University of Kyiv
OOP Class Diagrams: Formation and Analysis
12:45
Round table:
How to Write a Good Scientific Paper
13:30
Conference closing
14:00 The final dinner