You are here

FAULTLocker

Project_Tabs

Project Details

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