Login / Signup
Scott Kausler
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Constraint Solvers
Heuristic Search
Specification Language
Static Analysis
Top Venues
ASE
ACM SIGSOFT Softw. Eng. Notes
</>
Publications
</>
Scott Kausler
,
Elena Sherman
User-defined backtracking criteria for symbolic execution.
ACM SIGSOFT Softw. Eng. Notes
39 (1) (2014)
Scott Kausler
,
Elena Sherman
Evaluation of string constraint solvers in the context of symbolic execution.
ASE
(2014)