机译:用于不确定性测试软件及时性的Oracle
Univ Luxembourg, Interdisciplinary Ctr Secur Reliabil & Trust, 29 Ave JF Kennedy, L-1855 Luxembourg, Luxembourg;
Univ Luxembourg, Interdisciplinary Ctr Secur Reliabil & Trust, 29 Ave JF Kennedy, L-1855 Luxembourg, Luxembourg;
Univ Luxembourg, Interdisciplinary Ctr Secur Reliabil & Trust, 29 Ave JF Kennedy, L-1855 Luxembourg, Luxembourg;
Time uncertainty; probabilistic unique input output sequences; timing specifications; test oracles generation;
机译:人工神经网络和信息模糊网络作为软件测试中自动Oracle的比较研究
机译:在没有精确的Oracle或结果的情况下测试面向对象的工业软件
机译:并发对象软件中功能故障的检测和诊断中作为测试Oracle的合同的有效性
机译:构建受CORBA支持的Oracle进行测试:自动化软件测试中的案例研究
机译:评估设计合同作为测试Oracle在并发面向对象软件中的故障检测中的有效性。
机译:Oracle超媒体:胃肠道内窥镜数据库
机译:使用伪oracle测试随机软件
机译:使用基于代数规范的测试神谕进行软件测试