Channel-based behavioral test synthesis for improved module reachability | IEEE Conference Publication | IEEE Xplore