Programmers often consult an online Q&A forum such as Stack Overflow to learn new APIs.
This paper presents an empirical study on the prevalence and severity of API misuse on …

Test-based generate-and-validate automated program repair (APR) systems often generate
many patches that pass the test suite without fixing the bug. The generated patches must be …

Static Program Analysis (SPA) has long been established as an important technique for
gaining insights into software systems. Over the last years, analysis designers increasingly …

We propose PASS, a O (n) algorithm for data reduction that is specifically aimed at
preserving the semantics of time series data visualization in the form of line chart …

Modern software is increasingly incorporating a new kind of component, the deep learning
(DL) model, to implement functionalities that have defied traditional programming. Like …

Automated program repair (APR) reduces the burden of debugging by directly suggesting
likely fixes for the bugs. We believe scalability, applicability, and accurate patch validation …

Identifying frequent errors in student solutions is one of the most important but also most
laborious tasks in education, regardless of the subject matter. However, when the topic is …

Three things are fundamentally true about software:(i) every day that passes we, as a
society, generate more software (more code, more documentation, and more software …

Many data-driven software engineering tasks such as discovering programming patterns,
mining API specifications, etc., perform source code analysis over control flow graphs …

The main goal of a static type system is to prevent certain kinds of errors from happening at
run time. A type system is formulated as a set of constraints that gives any expression or term …