eBook
Validation of Evolving Software
| Τίτλος: | 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 research monograph and a reference book. |
| Συγγραφείς: | Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina |
| Resource Type: | eBook. |
| Θέματα: | Computer programs--Validation, Computer software--Validation |
| Categories: | COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science |
| Βάση Δεδομένων: | eBook Index |
| ISBN: | 9783319106229 9783319106236 |
|---|