机译:协议规范的结构分析和最大故障覆盖范围一致性测试序列的生成
机译:基于混合自适应PSO-GA算法的测试数据生成自动化方法
机译:分支测试时数据流标准的附带范围
机译:使用结构覆盖标准从数据流规范中自动化功能测试用例
机译:基于规范的结构测试覆盖标准作为安全关键系统的测试数据生成器的有效性。
机译:通过数据融合增强人群监控系统功能:估算来自Wi-Fi迹线的流速和自动计数系统数据
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。