Class Loader; Points-to Analysis; Semistatic Detection; based;
机译:一种类加载敏感方法,用于检测基于组件的Java程序中的运行时类型错误
机译:长时间运行的大型并行程序中的错误检测
机译:通过顺序化对中断驱动程序中的运行时错误进行静态分析
机译:基于通用不变式的静态分析工具,用于检测Java程序中的运行时错误
机译:实用的程序错误运行时识别
机译:医疗信息系统中编程错误的快速检测和报告
机译:基于通用不变式的静态分析工具,用于检测Java程序中的运行时错误