Automated Testing; Model Checking; Variability; Software Product Lines;
机译:一种新颖的基于模型的软件产品线测试方法
机译:FLAME:一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
机译:基于自动模型的不确定性软件产品线的性能分析
机译:使用可变性语言的软件产品线中的基于自动模型的测试方法
机译:基于模型的软件产品线测试
机译:与心脏磁共振成像相比门控心肌灌注SPECT低估了左心室容积并且显示出较高的可变性-四种不同的商用自动化软件包的比较
机译:使用可变性语言的软件产品线中基于模型的自动化测试方法。