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

Alexey Ruchay

REGRESSION TESTING WITH SEMIAUTOMATIC TEST SELECTION FOR AUDITING OF IMS DATABASE


Alexey Ruchay, Ivan Kliavin, Tatiana Kotova, Julia Ivanova,,
Applied Technologies, Saint Petersburg, Russia