...
机译:在Unix(R)下对学生软件进行半自动测试
机译:使用选择性突变分析,学生的软件测试的快速准确增量反馈
机译:它值得在软件测试教育上使用赌博吗? 在本科生背景下的延长体验报告
机译:开发和测试软件原型,以支持护理学生的诊断推理
机译:用于软件测试的实验性纸牌游戏:开发,设计和评估物理纸牌游戏,以加深学生在学术软件测试教育中的知识
机译:计算机化的生命周期建议,监视和预测(夹具)(软件工程,基于规则的系统,UNIX)。
机译:验证retmarkeramd作为AMD的半自动分级软件
机译:ada编译器验证摘要报告:证书编号:940630W1.11373,Radional software Corporation,VaDs aTT 3B2 / 600GR UNIX system V版本4.0,产品编号:2100-01449,版本6.2,aTT 3B2 / 600GR,UNIX system V,版本4.0