Xiaochen Li
Click:
The Last Update Time:..
Paper Publications
A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection
2024-04-24 Hits:
Date of Publication:2024-04-24
Journal:IEEE Transactions on Software Engineering
Page Number:1-18
ISSN No.:0098-5589
Date of Publication:2024-04-24
Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024