We are happy to mention that this year LASER had a paper accepted at the 31st International Symposium on Software Reliability Engineering (ISSRE 2020), one of the most important conferences on software reliability.

The conference was held completely in remote format, with a huge organization effort by the people from Coimbra that resulted in pleasant experience. The presentation followed a “flipped conference” model: attendees watched pre-recorded presentations before the conference and then had some time to ask questions to authors during the live event.

The work in the paper is an extension of the work developed by Elder for his Master’s project, and the result of a collaboration with the RCL group of the University of Firenze, Italy, funded by FAPESP and the ADVANCE project.

In the paper we present a model-driven approach to craft and inject software faults in source code. The injection of software faults in source code requires accurate knowledge of the programming language, both to craft faults and to identify injection locations. Following Model-Driven Engineering principles, the faults and the criteria to select injection locations are described using a domain-specific language. Then, automated transformations craft artifacts that are able to inject the specified faults in a Java system.