Real-Time Systems Group;
Computer Systems Group Technische Universitat Darmstadt, Germany;
Real-Time Systems Group;
机译:成对测试软件产品线:两种方法的比较
机译:FLAME:一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
机译:软件产品线的增量测试生成
机译:自动增量配对软件产品线的测试
机译:使用约束求解来测试软件产品线。
机译:使用SAS运营研究软件在A中自动测试组件医疗许可检查
机译:使用成对功能覆盖测试软件产品线中的产品生成