89 citations · 99 across the 8 of their papers we have counts for
4 papers · 1 filter
Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
Qingyang Li, Yibiao Yang, Maolin Sun +3
Compilers are fundamental to modern software development, making the effective identification and resolution of compiler faults essential. However, localizing these faults to speci…
Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Fault Isolation
Yibiao Yang, Qingyang Li, Maolin Sun +2
Background: Compilers are fundamental to software development, translating high-level source code into executable software systems. Faults in compilers can have severe consequences…
WITNESS: A lightweight and practical approach to fine-grained predictive mutation testing
Zeyu Lu, Peng Zhang, Chun Yong Chong +5
Existing fine-grained predictive mutation testing studies predominantly rely on deep learning, which faces two critical limitations in practice: (1) Exorbitant computational costs.…
Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators
Maolin Sun, Yibiao Yang, Yuming Zhou
Satisfiability Modulo Theory (SMT) solvers are foundational to modern systems and programming languages research, providing the foundation for tasks like symbolic execution and aut…