机译:基于SMT的测试用例生成的数学函数的抽象和完善
Toyota Central R&D Labs. Inc., 41-1, Yokomichi, Nagakute, Aichi, Japan;
Toyota Central R&D Labs. Inc., 41-1, Yokomichi, Nagakute, Aichi, Japan;
Kyoto University, Yoshida-Honmachi, Sakyo-ku, Kyoto, Japan;
机译:此故障会导致故障吗?在面向故障的测试用例生成中将细化与输入输出一致性检查相结合
机译:用户驱动的自动测试用例生成,用于DTV / STB可靠的功能验证
机译:太阳能光伏发电,风能发电和插电式电动汽车的不确定成本函数:数学期望值和通过蒙特卡洛模拟进行验证
机译:Maude功能模块的测试用例生成
机译:采用模糊逻辑数学对功能生成四分机构的三位尺寸合成
机译:数学抽象。
机译:一种用于数据抽象和逐步优化的具有修改后的块结构的语言(软件科学与工程中的数学方法:第三次会议)