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.).
International Conference on Tools and Methods of Program Analysis (4th : 2017 : Moscow, Russia); Itsykson, Vladimir, editor.; Ščedrov, Andrej, 1955- editor.; Zakharov, Victor, editor.
2018
QA76.76.T48
Available Online

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
DOI https://doi.org/10.1007/978-3-319-71734-0
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).
Added Author Itsykson, Vladimir, editor.
Ščedrov, Andrej, 1955- editor.
Zakharov, Victor, editor.
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
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export