机译:使用模拟和变形测试检查内存系统正确性的专家系统
Univ Complutense de Madrid, Dept Sistemas Informat & Comp, Madrid, Spain;
Univ Complutense de Madrid, Dept Sistemas Informat & Comp, Madrid, Spain;
Univ Autonoma Madrid, Dept Ingn Informat, Madrid, Spain;
Memory systems; Metamorphic testing; Simulation; Mutation testing; Expert systems; Memory scheduling;
机译:使用模拟和变形测试检查内存系统正确性的专家系统
机译:决策支持系统中测试信息处理方法的专家判断的仿真
机译:FDA批准的下一代测序系统可以扩展临床基因组测试:专家预测,MiSeqDx系统将使小型实验室更容易负担得起基因测试。
机译:概率系统模型检查的仿真+假设检测
机译:蒙特卡洛模拟的自检变形测试。
机译:基于知识的系统。开发和评估专家系统的方法:交互式图形辐射治疗模拟系统的软件设计
机译:模型检查复杂系统正确性证明的方法
机译:反应系统的检验器,自检器和自校正器。