Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems | IEEE Conference Publication | IEEE Xplore