Extending Veritesting In SPF

Veritesting, [1] is a promising technique that speeds up dynamic symbolic execution by multiple of factors [2]. In veritesting, expensive forking is minimized by statically analyzing and summarizing regions of code, which are then used during dynamic symbolic execution. During summer, I plan to a) extend veritesting to support test case generation for static re- gions, b) optimize instantiation of high-order regions based on benchmark results and c) work on a prototype to support static regions for 2-threaded programs.