COMPLEX SYSTEMS; COMPUTER PROGRAMMING; EXPERT SYSTEMS; HEURISTIC METHODS; SOFTWARE ENGINEERING; ADA (PROGRAMMING LANGUAGE); BOOLEAN ALGEBRA; PREPROCESSING; PROGRAM VERIFICATION (COMPUTERS); PROTOTYPES;
机译:使用软件模拟器作为黄金模型的基于FPGA的周期精确微处理器模拟器的单元级自动测试方法和系统
机译:一种基于模型的自动化方法,用于移动应用程序的单元级性能测试生成
机译:在自动存储和检索系统设计中配置存储机架的经验法则
机译:单元级自动测试生成工具的比较
机译:根据经验:规则和对国家和组织的信任的启发式效果。
机译:我们应该停止开发启发式方法而仅在自动化测试程序集中依靠混合整数编程求解器吗?范德林登和李的重逢(2016)
机译:单元级自动测试生成工具的比较