Tools and Methods of Program Analysis

Publisher : Springer

ISBN-13 : 3319717340

Page : 209 pages

Rating : 4.5/5 from 340 voters

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.

More Books:

Tools and Methods of Program Analysis
Language: en
Pages: 209
Authors: Vladimir Itsykson
Categories: Computers
Type: BOOK - Published: 2017-12-29 - Publisher: Springer

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3
Tools and Methods of Program Analysis
Language: en
Pages: 216
Authors: Anna Kalenkova
Categories: Computers
Type: BOOK - Published: 2021-03-16 - Publisher: Springer Nature

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgi
Software Analysis, Testing, and Evolution
Language: en
Pages: 219
Authors: Lei Bu
Categories: Computers
Type: BOOK - Published: 2018-11-19 - Publisher: Springer

This book constitutes the refereed proceedings of the 8th International Conference on Software Analysis, Testing, and Evolution, SATE 2018. The conference was c
FM 2009: Formal Methods
Language: en
Pages: 820
Authors: Ana Cavalcanti
Categories: Computers
Type: BOOK - Published: 2009-11-04 - Publisher: Springer

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in
Tools & Methods of Program Analysis (TMPA).
Language: en
Pages:
Authors:
Categories:
Type: BOOK - Published: 2013 - Publisher:

Encyclopedia of Parallel Computing
Language: en
Pages: 2175
Authors: David Padua
Categories: Computers
Type: BOOK - Published: 2011-09-08 - Publisher: Springer Science & Business Media

Containing over 300 entries in an A-Z format, the Encyclopedia of Parallel Computing provides easy, intuitive access to relevant information for professionals a
Software Engineering and Formal Methods
Language: en
Pages: 410
Authors: Alessandro Cimatti
Categories: Computers
Type: BOOK - Published: 2017-08-24 - Publisher: Springer

‚ÄčThis book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, It
Provenance and Annotation of Data and Processes
Language: en
Pages: 271
Authors: Boris Glavic
Categories: Computers
Type: BOOK - Published: 2021-07-08 - Publisher: Springer Nature

This book constitutes the proceedings of the 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 and IPAW 2021 which were held as part of Pr
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Language: en
Pages: 974
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2016-10-05 - Publisher: Springer

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods,
Handbook Of Software Aging And Rejuvenation: Fundamentals, Methods, Applications, And Future Directions
Language: en
Pages: 424
Authors: Tadashi Dohi
Categories: Computers
Type: BOOK - Published: 2020-04-22 - Publisher: World Scientific

The Handbook of Software Aging and Rejuvenation provides a comprehensive overview of the subject, making it indispensable to graduate students as well as profes