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

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

Hits:

Date of Publication:2024-03-30

Journal:软件学报

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

Pre 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
    •
    Open time:..
    The Last Update Time:..

    Mobile phone sweep