Opening book details…
Can I read Validation of Evolving Software on EtoBox?
Validation of Evolving Software by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (eds.) is a nonfiction available to read on EtoBox.
What is Validation of Evolving Software about?
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. Introduction -- Challenges Of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality Of Validation. Edited By Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina.
Who reads Validation of Evolving Software?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (eds.)
- Publisher
- Springer International Publishing : Imprint Springer, Springer International Publishing, Imprint Springer
- Published
- 2015
- Language
- EN
- ISBN
- 9783319106236
- Category
- nonfiction
- Subjects
- Engineering, Computer Science, Stem
More by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (eds.)
Browse all works by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (eds.)
Similar books
- System-level Test and Validation of Hardware/Software Systems (Springer Series in Advanced Microelectronics) — Matteo Sonza Reorda; Zebo Peng; Massimo Violante (2005)
- Medical Device Software Verification, Validation, and Compliance — David A. Vogel (2010)
- Embedded Systems and Software Validation (Morgan Kaufmann Series in Systems on Silicon (Hardcover)) — Abhik Roychoudhury (2009)
- Software Verification and Validation : An Engineering and Scientific Approach — Marcus S. Fisher (auth.) (2007)
- Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers — Nils Przigoda, Robert Wille, Judith Przigoda and Rolf Drechsler (2018)
- A Systematic Approach To The Development And Validation Of Critical Software For Nuclear Power Plants — C Ramamoorthy; F Bastani; J Favaro; Y Mok; C Nam; K Suzuki (1970)