IRISA/INRIA, Campus de Beaulieu, Rennes, France;
INRIA Rhone-Alpes, Saint Ismier, France;
机译:在自动测试程序生成中使用测试规范格式
机译:自动生成过程间数据流分析器和优化器
机译:自动生成过程间数据流分析器和优化器
机译:自动试验从口换器规范中产生
机译:基于规范的测试用例生成机制,用于面向服务的软件测试。
机译:将现代心理测量技术应用于旋律鉴别测试:项目响应理论计算机化自适应测试和自动项目生成
机译:从过程间规范自动生成测试