A method for testing data aspects of protocol implementation and its applications to the OSI session layer | IEEE Conference Publication | IEEE Xplore