Smart contract, a term which was originally coined to refer to the automation of legal
contracts in general, has recently seen much interest due to the advent of blockchain …

The effectiveness of search-based automated program repair is limited in the number of
correct patches that can be successfully generated. There are two causes of such limitation …

We propose Nopol, an approach to automatic repair of buggy conditional statements (ie, if-
then-else statements). This approach takes a buggy program as well as a test suite as input …

This work is motivated by the pervasive use of method invocations in object-oriented (OO)
programs, and indeed their prevalence in patches of OO-program bugs. We propose a …

During the last years, the software engineering research community has proposed
approaches for automatically repairing software bugs. Unfortunately, many software artifacts …

We present Bugs. jar, a large-scale dataset for research in automated debugging, patching,
and testing of Java programs. Bugs. jar is comprised of 1,158 bugs and patches, drawn from …

We present a new system, Genesis, that processes human patches to automatically infer
code transforms for automatic patch generation. We present results that characterize the …

Learning-based program repair has achieved good results in a recent series of papers. Yet,
we observe that the related work fails to repair some bugs because of a lack of knowledge …

In the field of automated program repair, the redundancy assumption claims large programs
contain the seeds of their own repair. However, most redundancy-based program repair …

Software testing is an essential part of the software lifecycle and requires a substantial
amount of time and effort. It has been estimated that software developers spend close to …