机译:从基于状态的规范生成测试数据
机译:根据布尔规范自动生成测试数据
机译:SOFL正式规格中流程的输入/输出的自动可视化
机译:通过准随机序列为基于规范的测试生成测试数据
机译:一种混合遗传算法和进化策略,可自动生成用于动态白盒测试的测试数据。
机译:统计模型规范和功效:关于在实验数据分析中使用经过测试的合并的建议
机译:从基于状态的规范生成测试数据
机译:综合信息支持系统(IIss)。第5卷。通用数据模型子系统。第19部分。中性数据操作语言(NDmL)预编译器生成Oracle请求处理器产品规范。