Validation of Evolving Software

Hana Chockler , Daniel Kroening , Leonardo Mariani