automotive software analysis; bug analysis; error classes; model driven software;
机译:用于汽车嵌入式软件测试的模型自动测试用例
机译:基于早期模型的汽车控制系统软件实现的设计和验证
机译:基于模型的动态行为规范的汽车软件组件控制流分析
机译:基于汽车模型的软件中的错误类别分布
机译:用于汽车功能安全的基于模型的故障诊断。
机译:汽车嵌入式平台基于属性的加密性能评估用于安全软件超空气更新
机译:使用随机误差传播分析的基于模型汽车软件的有效回归测试