Evaluation of string constraint solvers in the context of symbolic execution. - Scott Kausler; Elena Sherman (ASE, 2014)

User-defined backtracking criteria for symbolic execution. - Scott Kausler; Elena Sherman (ACM SIGSOFT Softw. Eng. Notes, 2014)