Transparently improving regression testing using symbolic execution

Paul Dan Marinescu. Transparently improving regression testing using symbolic execution. PhD thesis, Imperial College London, UK, 2014. [doi]

Abstract

Abstract is missing.