program testing; program verification; software reliability; Beihang University; Institute of Software Engineering; automation tool; software reliability test data generation; software reliability testing; software validation; software verification;
机译:基于混合模型的软件可靠性测试数据生成方法
机译:基于混合模型的软件可靠性测试数据生成方法
机译:基于混合模型的软件可靠性测试数据生成方法
机译:TCS:用于软件可靠性测试数据生成的自动化工具
机译:变形 - 策划和数据库实例化(Variant-CADI):用于临床遗传检测的自动化,注释和管理的自动化集成软件系统
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。
机译:用于大规模软件系统的自动测试数据生成工具