Current position: Zhilei Ren >> Scientific Research >> Paper Publications

SMTLOC:基于多源频谱的SMT求解器缺陷定位

Release Time:2025-02-27  Hits:

Date of Publication: 2024-03-30

Journal: 软件学报

Key Words: SMT求解器; 历史频谱; 缺陷定位; 覆盖频谱

Prev One:面向JavaScript引擎报错机制的类别导向模糊测试方法

Next One:A Comprehensive Study of WebAssembly Runtime Bugs
Institutional Repository Personal Page

Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024

Click:Times MOBILE Version
The Founding Time : ..
The Last Update Time : ..

Mobile phone sweep