Computer Science Department Colorado State University Fort Collins, CO 80523;
Computer Science Department Colorado State University Fort Collins, CO 80523;
HQ USAFA/DFCS 2354 Fairchild Hall, Suite 6K41 U.S. Air Force Academy, CO 80840;
机译:通过AI自动计划技术为并发程序生成有效的测试
机译:测试分布式系统:生成最少的同步测试序列,以检测输出移位故障
机译:自动学习使用行为并生成事件序列以对反应系统进行黑盒测试
机译:测试序列作为计划:使用AI计划器生成系统测试的实验
机译:基于团队的支持系统:生成可测试的支持系统模型和附带的假设。
机译:一种整合生物学知识的统计方法可从微阵列实验中产生可测试的新型基因调控相互作用
机译:使用aI planner进行系统测试
机译:使用基于aI的计划自动生成mars Rover的操作序列