Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Description

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification. Front Matter ....Pages I-XVIII Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer (Azat Abdullin, Daniil Stepanov, Marat Akhin)....Pages 1-10 Predicate Abstraction Based Configurable Method for Data Race Detection in Linux Kernel (Pavel Andrianov, Vadim Mutilin, Alexey Khoroshilov)....Pages 11-23 Extended Context-Free Grammars Parsing with Generalized LL (Artem Gorokhov, Semyon Grigorev)....Pages 24-37 Defect Report Classification in Accordance with Areas of Testing (Anna Gromova)....Pages 38-50 Technology and Tools for Developing Industrial Software Test Suites Based on Formal Models and Implementing Scalable Testing Process on Supercomputer (Vsevolod Kotlyarov, Pavel Drobintsev, Nikita Voinov, Ivan Selin, Alexey Tolstoles)....Pages 51-63 Dl-Check: Dynamic Potential Deadlock Detection Tool for Java Programs (Nikita Koval, Dmitry Tsitelov, Roman Elizarov)....Pages 64-76 A Survey on Model-Based Testing Tools for Test Case Generation (Wenbin Li, Franck Le Gall, Naum Spaseski)....Pages 77-89 Functional Parser of Markdown Language Based on Monad Combining and Monoidal Source Stream Representation (Georgiy Lukyanov, Artem Pelenitsin)....Pages 90-101 Simple Type-Based Alias Analysis for a VLIW Processor (Aleksey Markin, Alexandr Ermolitsky)....Pages 102-113 5W+1H Static Analysis Report Quality Measure (Maxim Menshchikov, Timur Lepikhin)....Pages 114-126 Layered Layouts for Software Systems Visualization Using Nested Petri Nets (Alexey A. Mitsyuk, Yaroslav V. Kotylev)....Pages 127-138 Unity Application Testing Automation with Appium and Image Recognition (Maxim Mozgovoy, Evgeny Pyshkin)....Pages 139-150 Compositional Process Model Synthesis Based on Interface Patterns (Roman A. Nesterov, Irina A. Lomazova)....Pages 151-162 Using Functional Directives to Analyze Code Complexity (Daniel Rubio Bonilla, Colin W. Glass)....Pages 163-169 Generating Cost-Aware Covering Arrays for Free (Mustafa Kemal Taş, Hanefi Mercan, Gülşen Demiröz, Kamer Kaya, Cemal Yilmaz)....Pages 170-182 Statically Checking Conventionality of Array Objects in JavaScript (Astrid Younang, Lunjin Lu, Nabil Almashfi)....Pages 183-195 A Survey of High-Performance Computing for Software Verification (Ilja Zakharov)....Pages 196-208 Back Matter ....Pages 209-209