7 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…
What Characterizes Pairwise Modular Smells?
Chenxing Zhong, Daniel Feitosa, Paris Avgeriou +3
Enhancing the modular structure of existing systems has attracted substantial research interest, primarily through (1) software modularization and (2) identifying design issues (e.…
Repository-Level Solidity Code Generation with Large Language Models: From Prompting to Fine-Tuning
Shi Chen, Rongcun Wang, Yuan Tian +3
Large Language Models (LLMs) have shown strong capabilities in general-purpose code generation, but their effectiveness in specialized software domains remains underexplored. Solid…
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…
SoK: Systematizing Software Artifacts Traceability via Associations, Techniques, and Applications
Zhifei Chen, Lata Yi, Liming Nie +4
Software development relies heavily on traceability links between various software artifacts to ensure quality and facilitate maintenance. While automated traceability recovery tec…
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…