Validation of Evolving Software
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...
Published in: | Springer eBooks |
---|---|
Corporate Author: | SpringerLink (Online service) |
Other Authors: | Chockler, Hana (Editor), Kroening, Daniel (Editor), Mariani, Leonardo (Editor), Sharygina, Natasha (Editor) |
Format: | eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-319-10623-6 Перейти в каталог НБ ТГУ |
Similar Items
-
Transactions on Petri Nets and Other Models of Concurrency X
Published: (2015) -
Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
Published: (2015) -
Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
Published: (2015) -
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /
Published: (2015) -
Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
Published: (2015)