...
机译:软件保证参考数据集:数千个具有已知错误的程序
National Institute of Standards and Technology Gaithersburg MD 20899;
cybersecurity; software assurance; software quality; static analysis;
机译:软件保证参考数据集:数千个具有已知错误的程序
机译:用于Java程序中未初始化字段引用的静态错误检测器
机译:在社交软件工程中增加语义方面的内容,以改善软件调试和编码过程软件工程师的教育计划
机译:使用Samate参考数据集,工具标准和研究的软件保证
机译:具有多个错误的程序的高级软件故障本地化
机译:PRIMO Monte Carlo软件以来自Varian直线加速器的6 MV光子束的参考剂量数据集为基准
机译:具有相同参考数据集,工具标准和研究的软件保障
机译:软件保障课程项目第1卷:软件保障参考课程硕士