Testing Static Analyzers via Semantic-Preserving Mutators Learned from Real-World Refactoring Practice
Shi-Yu Qiu, Ming Wen, Hong-Yu Zhang et al.
· 0 citations
We have 3 of 21 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Open access
Oct 2026
Towards Understanding the Bugs in Verilator, a Hardware Description Language Compiler
Verilator is the premier open-source Hardware Description Language (HDL) compiler. It transforms Verilog and SystemVerilog designs into optimized C++ or SystemC models, enabling high-speed, cycle-accurate simulation prior to large-scale production. As a cornerstone of the hardware verification ecosystem, the correctnes...
Song-Yan Jiang, Mao-Lin Sun, Kang Chen et al.
· Proceedings of the ACM on So... · 0 citations
Aug 2026
Understanding and Detecting Android R8 Compiler Bugs
An automated testing tool named R8Scan is developed that utilizes a novel idea to synthesize seeds from prioritized real-world functions and construct the corresponding arguments empowered by Large Language Models to test R8, thus enabling the exploration of a broader range of semantics.
Zi-Fan Xie, Ming Wen, Shi-Yu Qiu et al.
· ACM Transactions on Software... · 0 citations