An approach to software fault localization and revalidation based on incremental data flow analysis. - Abu-Bakr Taha; Stephen M. Thebaut; Sying-Syang Liu (COMPSAC, 1989)