The following pages link to Quoc-Sang Phan (Q3172890):
Displayed 4 items.
- Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT (Q3172891) (← links)
- Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594) (← links)
- Symbolic Execution as DPLL Modulo Theories (Q5240106) (← links)
- Self-composition by Symbolic Execution (Q5398107) (← links)