机译:RUGRAT:使用大型生成的随机基准测试应用程序评估程序分析和测试工具以及编译器
机译:艾达:从承诺到实践?编译器和其他工具使DOD编程语言在设计人员的能力范围之内,但是嵌入式应用程序(如航空电子设备中的应用程序)的交付缓慢
机译:GCC和Clang编译器中的动态程序分析工具
机译:评估PTSI串扰噪声分析工具和自动化香料相关套件的开发,实现精度验证
机译:累犯风险和积极成就改变工具预筛选(PACT-PS):初步验证和基本计划实施评估。
机译:验证工具以评估学生中的预防药物计划
机译:saRama:用于补充性图的独立程序套件 - 用于蛋白质的图形结构验证工具
机译:ada编译器性能测试套件和测试评估功能(aCps)用户指南。