机译:通过测试优化执行循环的要求
机译:将代码和要求覆盖范围与执行成本相结合,以减少测试套件
机译:结合代码和需求覆盖以及测试套件减少的执行成本
机译:基于需求,覆盖范围,风险因素和执行时间的测试用例最小化和优先级划分
机译:通过反馈丰富模型执行,以支持模型和要求之间的语义一致性的测试 - 反馈自动化架构的设计和评估
机译:一个开放框架,用于规范和执行可测需求模型。
机译:诊断麻风病作为零传播工具的最低要求和最佳测试策略:模型研究
机译:反馈自动化体系结构的设计和评估:通过反馈丰富模型执行,以支持测试模型和需求之间的语义一致性
机译:CLEaR:闭环执行和恢复 - 统一规划和执行的框架