Xiaochen Li

Click:

The Last Update Time:..

Recommended MA Supervisor

Current position: Home > Scientific Research > Paper Publications

Paper Publications

A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection
Release Time:2024-05-15  Hits:

Indexed by:Journal Papers
Document Code:387551
Date of Publication:2024-04-18
Journal:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Volume:50
Issue:4
Page Number:937-955
ISSN:0098-5589
Key Words:COMPILER BUGS; DESIGN; TRANSLATION VALIDATION; VERIFICATION

Prev One:Code Comment Inconsistency Detection Based on Confidence Learning

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

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