机译:基于形式化描述技术的规范自动生成测试
机译:基于形式化描述技术的规范自动生成测试
机译:基于形式化语言动态语义的形式规格,自动生成严格符合的测试
机译:ConData:一种用于为通信系统自动化基于规范的测试用例生成的工具
机译:自动黑盒GUI规范增强和测试数据生成
机译:摄影测量和LiDAR数据的基于对象的集成可自动生成复杂的多面体建筑模型
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。
机译:使用sCR生成基于规范的自动化测试用例