An approach to software fault localization and revalidation based on incremental data flow analysis | IEEE Conference Publication | IEEE Xplore