Software-to-hardware tester for the STP-ISS transport protocol verification | IEEE Conference Publication | IEEE Xplore