Dept. de Inf. e Estatistica Univ. Fed. de Santa Catarina Florianópolis Brazil;
Software product line testing; Software testing; Unit test patterns;
机译:FLAME:一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
机译:系统概念表示框架及其对专利,城市建筑模式和软件模式的测试
机译:通过重复使用代表单元测试用例来进行高可信度医疗软件的集成测试
机译:通过单元测试模式测试逻辑再利用软件产品线的测试自动化框架
机译:使用约束求解来测试软件产品线。
机译:使用模糊逻辑技术确定基于断言的软件测试指标
机译:FLAME:用于通过自动规格测试验证的软件产品线的自动分析的正式框架