机译:AMCheX:Accurate Analysis of Missing-Check Bugs for Linux Kernel
机译:有效地检测Linux内核中的原子内容虫虫
机译:提前进行静态分析,以自动生成Linux内核的调试接口
机译:Linux内核的即时错误测试服务
机译:基于经常性的基于神经网络的Linux内核错误的补丁推荐器
机译:避孕套中有虫子:坦桑尼亚的接近社区的提供者提供有效的青少年生殖健康服务的能力
机译:提前进行静态分析,以自动生成Linux内核的调试接口
机译:使用即时重播调试并行程序。