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