Integration Testing for Crypto Protocols