2 citations · 2 across the 4 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2025
A Novel Mutation Based Method for Detecting FPGA Logic Synthesis Tool Bugs
Yi Zhang, He Jiang, Xiaochen Li +3
FPGA (Field-Programmable Gate Array) logic synthesis tools are key components in the EDA (Electronic Design Automation) toolchain. They convert hardware designs written in descript…
cs.SE2025
A Novel Interactive-Guided Differential Testing Approach for FPGA Simulation Debugger Tools
Shikai Guo, Xiaoyu Wang, Xiaochen Li +2
Field-Programmable Gate Array (FPGA) development tool chains are widely used in FPGA design, simulation, and verification in critical areas like communications, automotive electron…
cs.SE2023
Learning-Based Relaxation of Completeness Requirements for Data Entry Forms
Hichem Belgacem, Xiaochen Li, Domenico Bianculli +1
Data entry forms use completeness requirements to specify the fields that are required or optional to fill for collecting necessary information from different types of users. Howev…