Abstract

Dynamic symbolic execution (DSE) and search-based software testing (SBST) are two techniques which offer a lot of promise in terms of automating software testing. This talk discusses the main challenges in DSE and speculates on how SBST techniques could help, and reviews some of the prior work on combining the two techniques.

Keynote given at SBST 2014.