Exactpro Systems is now part of London Stock Exchange Group

Exactpro Systems is now part of London Stock Exchange Group.

May 29, 2015

Exactpro Systems is today delighted to announce that London Stock Exchange Group has acquired 100% ownership of the business

Exactpro Systems specialises in quality assurance for exchanges, investment banks, brokers and other financial sector organisations worldwide. Founded in 2009, Exactpro operates in the UK and US, with significant functions in Russia. It currently employs almost 300 people.

London Stock Exchange Group is a diversified international market infrastructure and capital markets business with operations around the globe. As part of an international and ambitious organisation, Exactpro will continue to focus on developing and growing its business, with the benefit of being part of a larger organisation.

LSEG is one of Exactpro’s key customers and we have had an excellent working relationship with them since February 2010. As a fully owned subsidiary, Exactpro will operate as an entity within LSEG’s Technology Services division, which also incorporates MillenniumIT and GATElab.
The acquisition will enable Exactpro to achieve more in the area of developing the next generation of tools that help make our clients’ software even better. At this exciting time for our business, we look forward to expanding our customer base and continuing to provide unparalleled service to all clients.

For further information, please contact:
Exactpro Systems
UK: +44 (0) 20 7797 1000
RU: +7 (495) 640 24 60
US: +1 (415) 830 38 49
info@exactpro.com
http://exactpro.com

.

ТMPA-2015. Регистрация участников и прием статей открыты!

Третья Международная Научно-практическая конференция «Инструменты и Методы Анализа Программ» «Tools & Methods of Program Analysis» (ТМПА-2015)
Открывает прием статей и регистрацию участников. Информационное письмо.

На конференцию принимаются конкурсные доклады на русском и английском языках, объемом до 12 страниц, оформленные в соответствии с требованиями
double-column ACM/IEEE format.
Более подробно ознакомится с информацией об оформлении докладов, включая шаблоны для популярных текстовых процессоров и систем компьютерной верстки, можно на сайте конференции, в разделе «Докладчикам».

Exactpro Systems Season's Greetings

Electronic Trading Platforms: Unconventional Methods of Software Testing

Круглый стол: Нешаблонные методы тестирования программного обеспечения для электронных торговых платформ Tools & Methods of Program Analysis Conference TMPA-2013
Ведущие:

Цителов Дмитрий, Devexperts LLC

Иванов Александр, КоФиТе

Зверев Алексей, Exactpro

Рудовский Максим, Инновационные Трейдинговые Системы

Иткин Иосиф, Exactpro

Участники: СПбГПУ, СПбГУ, Московская Биржа, ИТС-Эксперт

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	Podymov, V., Popesko, U., Moscow State University Verification of Programmable and Configurable Networks Using the UPPAAL System
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	Sartakov, V., Tarasikov, Aksys labs The Analysis of Performance of Genode Micro-core Environment Network Subsystem
12:30	Zhuravlev, М., Polozov, V. , St. Petersburg State University An Approach to Verification of Correctness of Data Migration between DBMS Using Cryptographic Hash Functions
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	Senov, А , Kostroma State Technological University Applying OLAP and MapReduce Technologies for Performance Testing Results Processing
	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	Bobrov, I., Zverev, A, Innovative Trading Systems, LLC Testing of Graphical Interface of Trading Terminals in High Frequency Trading Conditions
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

Дмитрий Зайцев: Эффективная универсальная сеть Слепцова на TMPA-2013

Д.т.н., проф. Зайцев Дмитрий Анатольевич выступит с пленарным докладом: "Эффективная универсальная сеть Слепцова" http://daze.ho.ua/

http://mcu2013.ini.uzh.ch/Program.html
https://www.morebooks.de/store/gb/book/clans-of-petri-nets/isbn/978-3-659-42228-7
http://tmpaconf.org

Technical Solutions and Non-Technical Challenges of Test Automation

Dr. Alexander Petrenko (http://panda.ispras.ru/~petrenko/index.html) will be a keynote speaker on the subject of "Technical Solutions and Non-Technical Challenges of Test Automation" during TMPA-2013 Conference in Kostroma.

The potential for using program analysis, and particularly test generation, is sky-rocketing. However, putting new technologies into practice has been a challenge. What are the technical and non-technical aspects of this problem?
http://tmpaconf.org/programen/