会议论文《基于模型检验和符号演算的Java测试用例自动生成方法的研究与实现》发表于中国计算机学会全国软件与应用学术会议(NASAC2009)。该文提出一种结合模型检验与符号演算技术的测试用例自动生成方法，旨在提高Java程序测试的效率与覆盖率。通过形式化建模与符号执行，实现对程序路径的自动分析与测试用例生成，为软件测试提供理论支持与实践工具。
文档为pdf格式，0.78MB，总共7页。
举报
