AutoSeer

Automated Test Oracles for Software Error Detection

In this project we propose to investigate the use of various generic invariants in the value and time domain, their effect on Spectrum-based Fault Localization (SFL) diagnostic precision, their relation with existing test oracles, and their runtime overhead, in particular the density required or strategic placement (trading off overhead vs precision). The industrial partner of this Project is Critical Software.

Starting Date: April 1, 2012

Budget: €118,200.00

Project team: Rui Maranhão Abreu and João Alexandre Saraiva

Project Website: AutoSeer