Abstract

A version of this talk was given at the National University of Singapore in November 2022

Dynamic symbolic execution has gathered a lot of attention in recent years as an effective technique for generating high-coverage test suites and finding deep errors in complex software applications. Most work, however, has focused on whole-program testing. In this talk, I will discuss recent efforts on adapting dynamic symbolic execution for evolving software, where the analysis effort is focused on recently changed code, i.e., on software patches.