TMPA 2017

Видео

short overview

TMPA 2017: Short Overview





conference opening

Conference Оpening





Steve Zdancewic

Vellvm - Verifying the LLVM


Steve Zdancewic,
USA University of Pennsylvania
Maxim Mozgovoy

Unity Application Testing Automation with Appium and Image Recognition


Evgeny Pyshkin, Maxim Mozgovoy,
The University of Aizu
Daniil Stepanov

Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer


Azat Abdullin, Daniil Stepanov, Marat Akhin,
St.Petersburg Polytechnic University, JetBrains Research
Lunjin Lu

Static Checking of Array Objects in JavaScript


Astrid Younang, Lunjin Lu, Nabil Almashfi,
Oakland Univerity
Vadim Zherder

Live testing distributed system fault tolerance with fault injection techniques


Alexey Vasyukov, Vadim Zherder,
Inventa, MOEX
Iosif Itkin

Software Testing in Market Infrastructures


Iosif Itkin,
Exactpro
Mustafa Kemal Tas

Generating Cost Aware Covering Arrays For Free


Mustafa Kemal Tas, Hanefi Mercan, Gülşen Demiröz, Kamer Kaya, Cemal Yilmaz,
Sabanci University
Maxim Menshchikov

5W+1H Static Analysis Report Quality Measure


Maxim Menshchikov, Timur Lepikhin,
Oktetlabs
Anna Gromova

Defect Report Classification in Accordance with Areas of Testing


Anna Gromova,
Exactpro
Maxim Bakaev

Assessing Subjective Quality of Web Interaction with Neural Network as Context of Use Model


Maxim Bakaev, Vladimir Khvorostov, Tatiana Laricheva,
Novosibirsk State Technical University
Wenbin Li

A Survey on Model-Based Testing Tools for Test Case Generation


Wenbin Li, Franck Le Gall, Naum Spaseski,
Easy Global Market
Ivan Selin

Scalable Testing Process Based on Formal Models


Vsevolod Kotlyarov, Pavel Drobintsev, Nikita Voinov, Ivan Selin, Alexey Tolstoles,
St.Petersburg Polytechnic University
Daniel Rubio Bonilla

Using Functional Directives to Analyze Code Complexity and Communication


Daniel Rubio Bonilla,
HLRS - University of Stuttgart
Yuriy Skobtsov

Evolutionary Algorithms in Test Generation for digital systems


Yuriy Skobtsov, Vadim Skobtsov,
St.Petersburg Polytechnic University
Thomas A. Henzinger

The Quest for Average Response Time


Thomas A. Henzinger,
Austria Institute of Science and Technology
Artem Gorokhov

Extended Context-Free Grammars Parsing with Generalized LL


Semyon Grigorev, Artem Gorokhov,
Saint Petersburg State University
Alexey A. Mitsyuk

Layered Layouts for Software Systems Visualization


Alexey A. Mitsyuk, Yaroslav V. Kotylev,
Higher School of Economics
Aleksey Markin

Simple Type Based Alias Analysis for a VLIW Processor


Aleksey Markin, Alexandr Ermolitsky,
Moscow Center of SPARC Technologies
Georgy Lukyanov

Functional Parser of Markdown Language Based on Monad Combining and Monoidal Source Stream Representation


Georgy Lukyanov, Artem Pelenitsyn,
Southern Federal University
Dmitriy Ryabukhin

Modeling of PLC-programs by High-level Coloured Petri Nets


Dmitriy Ryabukhin, Egor Kuzmin, Valery Sokolov,
Yaroslavl State University
Nenad Medvidovic

Stemming Architectural Decay in Software Systems


Nenad Medvidovic,
USA University of Southern California
Nikita Koval

Dl-Check: Dynamic Potential Deadlock Detection Tool for Java Programs


Nikita Koval, Dmitry Tsitelov, Roman Elizarov,
Devexperts
Roman Nesterov

Compositional Process Model Synthesis based on Interface Patterns


Roman Nesterov, Irina Lomazova,
Higher School of Economics
Pavel Andrianov

Predicate Abstraction Based Configurable Method for Data Race Detection in Linux Kernel


Pavel Andrianov, Vadim Mutilin, Alexey Khoroshilov,
Institute for System Programming
Ilja Zakharov

A Survey of High-Performance Computing for Software Verification


Ilja Zakharov,
Institute for System Programming