Shanghai Key Lab of Trustworthy Computing East China Normal University, Shanghai, China;
Shanghai Key Lab of Trustworthy Computing East China Normal University, Shanghai, China;
Functional Validation; Test Generation; SAT;
机译:基于SAT的受限测试模式生成技术
机译:具有GPU加速器的基于基于SAT的测试生成算法
机译:基于SAT决策问题的硅后延迟测试的测试向量生成
机译:基于SAT的测试生成的高效自学习技术
机译:自动测试程序生成和新颖的测试技术,用于测试射频和高压设备接口板
机译:将现代心理测量技术应用于旋律鉴别测试:项目响应理论计算机化自适应测试和自动项目生成
机译:使用高效的动态学习技术提高基于saT的延迟测试生成的稳健性