Abstract
In this book we describe a methodology and accompanying technology for reducing the costs of validation of changes by several orders of magnitude by introducing automatic techniques to analyze and test software increments.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Chockler, H., Kroening, D., Mariani, L., Sharygina, N. (2015). Introduction. In: Chockler, H., Kroening, D., Mariani, L., Sharygina, N. (eds) Validation of Evolving Software. Springer, Cham. https://doi.org/10.1007/978-3-319-10623-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-10623-6_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10622-9
Online ISBN: 978-3-319-10623-6
eBook Packages: Computer ScienceComputer Science (R0)