摘要：基于符号执行的测试生成工具的算法研究
作者：Marek Trt''ik
论文ID：1112.4703
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2011-12-21
PDF 下载： 英文版 中文版pdf翻译中