Abstract: Data flow testing (DFT ... enhanced with a novel guided path search to improve testing performance, and (2) we systematically cast the DFT problem as reach ability checking in software model ...