Courteous Logic; Logical Specification; Natural Language Processing; Test Cases;
机译:FLAME:一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
机译:基于模式的合成驱动的逻辑规范的自动生成,用于面向工作流程的软件模型
机译:基于模式和组成驱动的工作流程软件模型的逻辑规范的自动生成
机译:根据软件需求的逻辑规范自动生成测试用例
机译:自动生成测试用例,以验证非功能性软件需求
机译:从LEMS(NeuroML2的基础通用模型规范语言)自动生成代码
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。