distributed object management; program testing; formal specification; Vienna development method; Java; object-oriented programming; specification languages; CORBA-supported oracles; case study; automated software testing; test case generation; test s;
机译:人工神经网络和信息模糊网络作为软件测试中自动Oracle的比较研究
机译:基于RBF神经网络的自动化软件测试的Oracle模型
机译:用于软件测试的自动化Oracle
机译:构建CORBA支持的奥卡克斯进行测试:自动化软件测试中的案例研究
机译:基于模型的测试Oracle的自动指导,以承认真实的程序行为。
机译:构建自动化车辆用户感知调查的有效性和测试 - 重新测试可靠性
机译:构建用于低可观察软件的自动测试Oracle
机译:使用基于代数规范的测试神谕进行软件测试