Yuming Zhou

Code-line-level Bugginess Identification: How Far have We Come, and How Far have We Yet to Go?

2023 · ACM Transactions on Software Engineering and Methodology

Background. Code-line-level bugginess identification (CLBI) is a vital technique that can facilitate developers to identify buggy lines without expending a large amount of human effort. Most of the existing studies tried to mine the characteristics …

Generating Python Type Annotations from Type Inference: How Far Are We?

2024 · ACM Transactions on Software Engineering and Methodology

In recent years, dynamic languages such as Python have become popular due to their flexibility and productivity. The lack of static typing makes programs face the challenges of fixing type errors, early bug detection, and …