automated test data generation; constraint satisfaction problems; form-centric software applications; functional testing; satisfiability modulo theories; software quality assurance;
机译:R.A.的“基于约束的自动测试数据生成”勘误表。 DeMillo和A.J.奥夫特
机译:基于约束的自动测试数据生成
机译:基于混合自适应PSO-GA算法的测试数据生成自动化方法
机译:基于约束的测试数据自动生成
机译:基于约束的数据库状态生成,用于测试数据库应用程序。
机译:基于约束的沙瓦氏菌MR-1代谢模型:数据分析和假设生成工具
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。
机译:自动化Bicron测试仪:具有记录生成功能的自动化电子仪器诊断,测试和校准系统