Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Communications in Computer and Information Science (CCIS, volume 779)
Conference series link(s): TMPA: International Conference on Software Testing, Machine Learning and Complex Process Analysis
Conference proceedings info: TMPA 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (17 papers)
-
Front Matter
-
Back Matter
About this book
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.
Â
Â
Keywords
- artificial intelligence
- computer architecture
- computer software selection and evaluation
- distributed computer systems
- High-Performance Computing (HPC)
- formal methods
- model checking
- object-oriented programming
- program analysis
- program compilers
- programming languages
- semantics
- software engineering
- static analysis
- verification
Editors and Affiliations
-
St. Petersburg Polytechnic University, St. Petersburg, Russia
Vladimir Itsykson
-
University of Pennsylvania, Philadelphia, USA
Andre Scedrov
-
FRC CSC, Moscow, Russia
Victor Zakharov
Bibliographic Information
Book Title: Tools and Methods of Program Analysis
Book Subtitle: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Editors: Vladimir Itsykson, Andre Scedrov, Victor Zakharov
Series Title: Communications in Computer and Information Science
DOI: https://doi.org/10.1007/978-3-319-71734-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2018
Softcover ISBN: 978-3-319-71733-3Published: 30 December 2017
eBook ISBN: 978-3-319-71734-0Published: 29 December 2017
Series ISSN: 1865-0929
Series E-ISSN: 1865-0937
Edition Number: 1
Number of Pages: XVIII, 209
Number of Illustrations: 71 b/w illustrations
Topics: Software Engineering, System Performance and Evaluation, Simulation and Modeling, Operating Systems, Artificial Intelligence, Programming Languages, Compilers, Interpreters
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications