Capture-recapture; defect prediction; re-inspection; software inspection;
机译:基于功能的软件模型形式验证技术分类
机译:在容错处理器上使用故障注入技术进行软件可靠性验证和验证
机译:数学证明技术,自动需求跟踪是软件验证工具的趋势
机译:软件验证中的捕获重新捕获技术
机译:软件验证技术在硬件设计验证中的应用。
机译:评估人类状况:捕获-捕获技术。
机译:基于模型的技术,用于未来对关键实时软件系统的形式验证的集成