This paper describes and discusses the design and implementation of a testing toolkit , CAUT , which is based on dynamic symbolic execution .
本文描述并讨论了一个基于动态符号执行的测试工具CAUT的设计与实现，详细描述并分析了在这套设计中的三个改进方案。
caut