机译:对高阶,有状态计划的随机测试
Northwestern University;
University of Utah;
Northwestern University;
automated test generation; racket; random testing; software testing;
机译:对高阶,有状态计划的随机测试
机译:高阶有状态ADT的关系可实现性模型
机译:高阶有状态ADT的关系模态逻辑
机译:高阶有状态程序的随机测试
机译:图割,亚模总和和线性规划:高阶马尔可夫随机场中的有效推论。
机译:在社区环境中测试对基于证据的程序的实施支持:Getting ToOutes®的复制集群随机试验
机译:随机测试高阶,有状态计划