会议论文《A Symbolic Execution and Model Learning Approach for Automatic Program Testing》提出了一种结合符号执行与模型学习的自动程序测试方法。该方法通过符号执行生成测试用例，并利用模型学习技术提高测试效率和覆盖率。研究在2014年国际计算机科学与软件工程学术会议上发表，为软件测试领域提供了新的思路和技术手段。
文档为pdf格式，0.43MB，总共6页。
举报
