Béatrice Bouchou Ahmed Cheriat Mirian Halfeld Ferrari Alves Agata Savary Integrating Correction into Incremental Validation. 2006 conf/bda/2006 BDA db/conf/bda/bda2006.html#BouchouCAS06