Validation of Evolving Software

by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina