机译:自动推断模型转换的可能变质关系
Department of Computer Languages and Systems, Universidad de Sevilla, Spain;
Department of Computer Languages and Systems, Universidad de Sevilla, Spain;
Department of Computer Languages and Systems, Universidad de Sevilla, Spain;
Model-Driven engineering; Metamorphic testing; Metamorphic relations; Model transformations; Automatic inference; Generic approach;
机译:揭开模型转换的神秘面纱:基于自动规则推理的方法
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:预测回归模型中的差分变换和推论
机译:揭开模型转换的神秘面纱:基于自动规则推理的方法
机译:本构关系推理工具包:一种半自动框架,用于材料科学中的逆问题
机译:现象动力学模型的自动自适应推断
机译:具有仿射变换的深层学习模型对抗性实例的变质检测