会议论文《基于路径约束求解的难达状态激励生成方法》发表于第十五届全国容错计算学术会议(CFTC13)。该文提出一种针对难达状态的激励生成方法，通过路径约束求解技术提高测试用例的覆盖率和有效性。研究旨在解决传统方法在处理复杂系统时效率低下的问题，为系统验证与容错设计提供新思路。
文档为pdf格式，0.35MB，总共6页。
举报
