机译:单元测试用于优化嵌入式软件开发:Frank Buechner介绍了如何通过单元测试减少嵌入式应用程序中的软件错误。
机译:使用需求缺陷和执行流依赖性进行软件开发的风险估计的详尽需求分析方法
机译:从单元测试角度量化可能影响符号执行的Java程序特征的实证研究
机译:结合单元级符号执行和系统级具体执行以测试NASA软件
机译:缩小软件检查和测试驱动开发之间的缺陷减少差距:将变异分析应用于迭代的,测试优先的编程
机译:南非南部非洲社区艾滋病毒自检课程的建模成本:五个国家的计量经济性成本职能分析
机译:结合单元级符号执行和系统级具体执行来测试Nasa软件