Validation of Evolving Software

by Daniel Kroening (Editor), HanaChockler (Editor), Leonardo Mariani (Editor), NatashaSharygina (Editor)

• New

  Hardcover
  2015

  $115.79

  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.