2 papers
cs.SE2025
Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison
Ruixin Wang, Zhongkai Zhao, Le Fang +4
Automated Program Repair (APR) holds the promise of alleviating the burden of debugging and fixing software bugs. Despite this, developers still need to manually inspect each patch…
cs.SE2024
Decide: Knowledge-Based Version Incompatibility Detection in Deep Learning Stacks
Zihan Zhou, Zhongkai Zhao, Bonan Kou +1
Version incompatibility issues are prevalent when reusing or reproducing deep learning (DL) models and applications. Compared with official API documentation, which is often incomp…