4 papers
CrossLangFuzzer: Differential Testing of Cross-Language JVM Compilers
Xiaotian Ma, Qiong Feng, Yongqiang Tian +2
Modern JVM software increasingly integrates multiple programming languages, such as Java, Kotlin, Groovy, and Scala, within a single application. Supporting such interoperability r…
DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
Qiong Feng, Xiaotian Ma, Yongqiang Tian +2
Program reduction is a technique for simplifying large, failure-inducing programs into minimal reproducible test cases. Language-specific tools such as CReduce achieve strong perfo…
Integrating Various Software Artifacts for Better LLM-based Bug Localization and Program Repair
Qiong Feng, Xiaotian Ma, Jiayi Sheng +3
LLMs have garnered considerable attention for their potential to streamline Automated Program Repair (APR). LLM-based approaches can either insert the correct code or directly gene…
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
Qiong Feng, Xiaotian Ma, Ziyuan Feng +3
Compilers play a central role in translating high-level code into executable programs, making their correctness essential for ensuring code safety and reliability. While extensive…