Validation of Evolving Software - Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha (Springer International Publishing : Imprint: Springer, 2015)