On the design for testability of communication software | IEEE Conference Publication | IEEE Xplore