Tools; Context; Java; Open source software; Complexity theory; Computer bugs;
机译:B重构:自动测试代码重构以改善动态分析
机译:EPIT:自动生成测试用例的软件测试工具
机译:自动生成测试用例,以验证整个太阳能监控系统的动态行为
机译:分析用于重构验证的自动测试生成工具
机译:验证基于SDL的体系结构设计模型:自动生成测试和新的覆盖标准
机译:ODM数据分析-一种自动验证,监视和生成患者数据的通用描述性统计信息的工具
机译:B重构:自动测试代码重构以改善动态分析
机译:用于大规模软件系统的自动测试数据生成工具