Validation of Evolving Software

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Chockler, Hana (Επιμελητής έκδοσης), Kroening, Daniel (Επιμελητής έκδοσης), Mariani, Leonardo (Επιμελητής έκδοσης), Sharygina, Natasha (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Θέματα: Computer science.; Software engineering.; Computer logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.
• Φυσική περιγραφή: VIII, 220 p. 60 illus., 28 illus. in color. online resource.
• ISBN: 9783319106236

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.