Tools; Visualization; Software; Automation; Software testing; Task analysis;
机译:一种基于模型的自动化方法,用于移动应用程序的单元级性能测试生成
机译:基于形式化语言动态语义的形式规格,自动生成严格符合的测试
机译:基于系统建模语言,从机械系统的系统结构自动生成计算机辅助设计模型
机译:基于视觉语言应用模型的自动测试生成
机译:基于马尔可夫链和似然性的自动测试用例生成,验证和优先级排序的模型方法:理论与应用。
机译:从LEMS(NeuroML2的基础通用模型规范语言)自动生成代码
机译:用于生成基于框架的应用程序的自动特定于域的建模语言*