Hiroshi Inamura, Osamu Takahashi, Taro Ishikawa, Hiroshi Shigeno, Ken-ichi Okada. Automating Detection of Faults in TCP Implementations. In 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 29-31 March 2004, Fukuoka, Japan. pages 315-320, IEEE Computer Society, 2004. [doi]
Abstract is missing.