FAULT LOCalization and repair tooKit for dEpendable softwaRe (FaultLocker)

Type: National Project

Duration: from 2018 Sep 01 to 2021 Aug 31

Financed by: FCT

Prime Contractor: INESC-ID (Other)

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

Partnerships

  • Faculdade de Ciências de Universidade de Lisboa (University) - Lisboa, Portugal
  • INESC-ID (Other)

Principal Investigators

Members