Publication

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces