Automating detection of faults in TCP implementations | IEEE Conference Publication | IEEE Xplore