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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Itsykson, Vladimir (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Scedrov, Andre (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Zakharov, Victor (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Communications in Computer and Information Science, 779
• Θέματα: 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...

Πίνακας περιεχομένων:

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