Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers / Vladimir Itsykson, Andre Scedrov, Victor Zakharov (eds.).
2018
QA76.76.T48
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers / Vladimir Itsykson, Andre Scedrov, Victor Zakharov (eds.).
Meeting Name
International Conference on Tools and Methods of Program Analysis (4th : 2017 : Moscow, Russia)
ISBN
9783319717340 (electronic book)
3319717340 (electronic book)
9783319717333
3319717332
3319717340 (electronic book)
9783319717333
3319717332
Published
Cham, Switzerland : Springer, 2018.
Language
English
Description
1 online resource (xviii, 209 pages) : illustrations.
Item Number
10.1007/978-3-319-71734-0 doi
Call Number
QA76.76.T48
Dewey Decimal Classification
005.1/4
Summary
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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed January 11, 2018).
Series
Communications in computer and information science ; 779. 1865-0929
Available in Other Form
Print version: 9783319717333
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
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.
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.