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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Itsykson, Vladimir (Editor, http://id.loc.gov/vocabulary/relators/edt), Scedrov, Andre (Editor, http://id.loc.gov/vocabulary/relators/edt), Zakharov, Victor (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Communications in Computer and Information Science, 779
• Subjects: Software engineering.; Computer system failures.; Computer simulation.; Operating systems (Computers).; Artificial intelligence.; Programming languages (Electronic computers).; Software Engineering.; System Performance and Evaluation.; Simulation and Modeling.; Operating Systems.; Artificial Intelligence.; Programming Languages, Compilers, Interpreters.

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 revi...

Table of Contents:

• 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.