机译:切片ATL模型转换以实现可扩展的演绎验证和故障定位
Research Center INRIA Rennes - Bretagne Atlantique;
IMT Atlantique;
Model driven engineering; Model transformation; Deductive verification; Program slicing; Fault localization; Scalability;
机译:模型转换中加权测试模型的故障定位
机译:用于大规模转换的本地化模型转换
机译:模型转换中基于频谱的故障定位
机译:ATL模型转换中一种故障定位的演绎方法
机译:叠加断层,变形孪生和马氏体相变的中尺度模型:将原子学与连续体联系起来
机译:基于约束逻辑编程的故障定位重量优先切片
机译:切割ATL模型转换,可扩展的演绎验证和故障定位
机译:功能故障模型的验证和资源有效验证工具的使用。