Advertisement

Validation of Evolving Software

  • Hana Chockler
  • Daniel Kroening
  • Leonardo Mariani
  • Natasha Sharygina

Table of contents

  1. Front Matter
    Pages i-viii
  2. Introduction

    1. Front Matter
      Pages 1-1
    2. Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
      Pages 3-5
    3. Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
      Pages 7-17
    4. Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
      Pages 19-21
  3. Static Analysis

    1. Front Matter
      Pages 23-23
    2. Hana Chockler, Sitvanit Ruah
      Pages 25-36
    3. Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
      Pages 37-53
    4. Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
      Pages 55-72
    5. Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina
      Pages 73-82
  4. Dynamic Analysis

    1. Front Matter
      Pages 83-83
    2. Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler
      Pages 85-105
    3. Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Ali Muhammad
      Pages 107-121
  5. Common Preprocessing and Hybrid Analysis

    1. Front Matter
      Pages 123-123
    2. Ajitha Rajan, Daniel Kroening
      Pages 125-145
    3. Pietro Braione, Giovanni Denaro, Oliviero Riganelli, Mauro Baluda, Ali Muhammad
      Pages 147-184
    4. Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt et al.
      Pages 185-207
  6. Back Matter
    Pages 209-220

About this book

Introduction

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.

Keywords

Efficient Validation Evolving Software Formal Methods Hybrid Techniques Incremental Validation Testing Validation

Editors and affiliations

  • Hana Chockler
    • 1
  • Daniel Kroening
    • 2
  • Leonardo Mariani
    • 3
  • Natasha Sharygina
    • 4
  1. 1.Dept. of InformaticsKing's CollegeLondonUnited Kingdom
  2. 2.Dept. of Computer ScienceUniversity of OxfordOxfordUnited Kingdom
  3. 3.DISCoUniversity of Milan BicoccaMilanoItaly
  4. 4.Dept. of InformaticsUniv. della Svizzera ItalianaLuganoSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-10623-6
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-10622-9
  • Online ISBN 978-3-319-10623-6
  • Buy this book on publisher's site