We introduce Analytic Program Repair, a data-driven strategy for providing feedback for type-
errors via repairs for the erroneous program. Our strategy is based on insight that similar …

Dynamic birthmarking used to be an effective approach to detecting software plagiarism. Yet
the new trend towards multithreaded programming renders existing algorithms almost …

While software plagiarism detectors have been used for decades, the assumption that
evading detection requires programming proficiency is challenged by the emergence of …

Bug‐finding tools rely on specifications of what is correct or incorrect code. As it is difficult for
a tool developer or user to anticipate all possible specifications, strategies for inferring …

We propose an approach that combines symbolic execution and run-time type inference
from a sample program run to generate test cases, and we apply our approach to …

We investigate the extent to which code commit summaries provide rationales and
descriptions of code refactorings. We present a refactoring description detection tool …

The efficacy of mutation analysis depends heavily on its capability to mutate programs in
such a way that they remain executable and exhibit deviating behaviour. Whereas the …

Context: Refactoring is the art of modifying the design of a system without altering its
behavior. The idea is to reorganize variables, classes and methods to facilitate their future …

Refactoring enhances software quality without altering its functional behaviors.
Understanding the refactoring activities of developers is crucial to improving software …

Machine Learning (ML) has revolutionized the field of computer software development,
enabling data-based predictions and decision-making across several domains. Following …