Projects  •

FAULTLocker

Full Title
FAULT LOCalization and repair toolKit for dEpendable softwaRe
Description

Software development and maintenance represents a massive cost to the global economy, of which 50%+ of the cost is on validation and verification. There are, however, shocking stories of serious bugs, with recent appalling examples. Fixing bugs represents a far from negligible cost. It is also acknowledged that software often ships with known bugs, which become a source of serious exploits. One reason for not fixing documented bugs before deployment is that locating the source of a bug is often a mostly manual, error-prone task. In addition, it is also necessary to propose a repair, such that intended behavior is achieved. FaultLocker contributes decisively to changing this state of affairs, by addressing the following overarching question: How to reduce the negative economic and societal impact of faulty software? FaultLocker’s main challenge is to develop the theory, the algorithms and the tools to make automatic software fault localization and repair both accurate and efficient

Funding Entity
FCT
Reference
PTDC/CCI-COM/29300/2017
Start Date
01/09/2018
End Date
03/03/2020
Coordinator
LASIGE
Partners
INESC-ID
Status
Closed