From the 1 of 12 linked papers with an AI index.
12 papers
Detecting Rendering Bugs in Imperative Data Visualization Libraries via Equivalent Mutations
Weiqi Lu, Yongqiang Tian
The paper introduces VIZDETOUR, an automated testing method that inserts semantically equivalent API calls into visualization scripts to detect rendering bugs by checking for visua…
DebugTracker: Lightweight Process Evidence for Classroom Debugging
Jiatong Liu, Xue Yao, Zehua Zhang +1
Debugging exercises are often assessed from final code and test outcomes, yet these artifacts hide how students reproduced failures, formed hypotheses, inspected evidence, edited c…
RepoTrace: Browser-Assisted Evidence Collection for GitHub Research Datasets
Xue Yao, Zehua Zhang, Jiatong Liu +1
Empirical software engineering studies frequently build datasets from GitHub issues and pull requests. In many projects, researchers inspect pages in a browser, copy selected field…
Semantic-aware and Self-improving Program Reduction via Agentic Large Language Models
Xintong Zhou, Hongxu Xu, Chunhao Liao +3
Reducing bug-triggering programs to their minimal essential form is a fundamental task in debugging language processors such as compilers and interpreters. Existing reduction techn…
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…