Data-Flow Testing in the Large | IEEE Conference Publication | IEEE Xplore