February 24th, 2017 at 11 am in room 0.20 (INESC) Cristian Cadar, Imperial College London Symbolic Execution for Evolving Software One of the distinguishing characteristics of software systems is that they evolve: new patches are committed to software repositories and new versions are released to users on a continuous basis.  Unfortunately, many of these changes … Continue reading Cristian Cadar about Symbolic Execution for Evolving Software