Probing and fault injection of protocol implementations | IEEE Conference Publication | IEEE Xplore