Automating Detection of Faults in TCP Implementations

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]

Authors

Hiroshi Inamura

This author has not been identified. Look up 'Hiroshi Inamura' in Google

Osamu Takahashi

This author has not been identified. Look up 'Osamu Takahashi' in Google

Taro Ishikawa

This author has not been identified. Look up 'Taro Ishikawa' in Google

Hiroshi Shigeno

This author has not been identified. Look up 'Hiroshi Shigeno' in Google

Ken-ichi Okada

This author has not been identified. Look up 'Ken-ichi Okada' in Google