4 papers
Co-Evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code
Shuo Sun, Shixin Zhang, Jiwei Yan +2
Python's dynamic typing mechanism, while promoting flexibility, is a significant source of runtime type errors that plague large-scale software, which inspires the automatic type i…
HACMony: Automatically Detecting Hopping-related Audio-stream Conflict Issues on HarmonyOS
Jinlong He, Binru Huang, Changwei Xia +3
HarmonyOS is emerging as a popular distributed operating system for diverse mobile devices. One of its standout features is app-hopping, which allows users to seamlessly transition…
Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs
Jun Liu, Yuanyuan Xie, Jiwei Yan +3
With the rising demand for code quality assurance, developers are not only utilizing existing static code checkers but also seeking custom checkers to satisfy their specific needs.…
Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
Jiwei Yan, Jinhao Huang, Chunrong Fang +2
Nowadays, many applications do not exist independently but rely on various frameworks or libraries. The frequent evolution and the complex implementation of framework APIs induce m…