Validation of Evolving Software by Hana ChocklerValidation of Evolving Software by Hana Chockler

Validation of Evolving Software

byHana ChocklerEditorDaniel Kroening, Leonardo Mariani

Hardcover | July 10, 2015

Pricing and Purchase Info


Earn 760 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


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.

Dr. Hana Chockler received her Ph.D. in Computer Science from the Hebrew University of Jerusalem in 2003. She is a member of the Software Modelling and Applied Logic Group in King's College, London, UK; she previously worked in the formal methods group at IBM Haifa Research Labs. She has particular expertise in coverage metrics and the...
Title:Validation of Evolving SoftwareFormat:HardcoverDimensions:220 pagesPublished:July 10, 2015Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319106228

ISBN - 13:9783319106229


Table of Contents

Introduction.- Challenges of Existing Technology.- Static Analysis.- Dynamic Analysis.- Hybrid Analysis.- Quality of Validation.