embedded systems; program diagnostics; program testing;
机译:具有动态优先级的嵌入式实时并发软件的静态分析
机译:系统特定的静态代码分析:复杂嵌入式系统领域的案例研究
机译:猛禽代码在嵌入式系统上的实现和评估
机译:使用静态代码分析的嵌入式系统中并发缺陷本地化:一种评估
机译:使用静态分析来识别和注释Java源代码中的并发设计模式。
机译:埃塞俄比亚东南地区金尼尔区麻疹监测系统评价:同时嵌入式混合量化/定性研究
机译:本地化嵌入式平台软件代码的静态分析方法研究