...
机译:量化公式的模型生成及其在测试数据生成中的应用
Faculty of Informatics, Karlsruhe Institute of Technology (KIT),Karlsruhe, Germany;
model generation; test data generation; first-order logic; smt solver; formal methods;
机译:开发新型模型,用于估算太阳辐射的每小时组件:测试,比较和在摩洛哥生成太阳能数据库的应用
机译:程序输入生成,用于使用现有数据库状态测试数据库应用程序
机译:分离自动物的细菌的抗菌药敏试验:体外药敏试验的方法及其在产生治疗用途最有用数据方面的适用性[德语]
机译:使用量化布尔公式求解可证明是最佳的测试立方体生成
机译:基于约束的数据库状态生成,用于测试数据库应用程序。
机译:一种受体系结构约束的随机数生成模型及其在建模生成速率影响中的应用
机译:管道注射技术开发的扩展测试和支持研究:局部报告7号,任务4. 1:第一代数学模型预测的测试;局部报告8号,任务4. 2:测试第二代数学模型预测,管道注射试验设施,麝香河发电厂,贝弗利,哦
机译:管道注入技术发展的放大测试和支持性研究:第7号专题报告,任务4.1:第一代数学模型预测的测试;专题报告第8号,任务4.2:测试第二代数学模型预测,管道注入测试设施,马斯金根河电厂,贝弗利,俄亥俄州