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]

@inproceedings{InamuraTISO04,
  title = {Automating Detection of Faults in TCP Implementations},
  author = {Hiroshi Inamura and Osamu Takahashi and Taro Ishikawa and Hiroshi Shigeno and Ken-ichi Okada},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/aina/2004/2051/01/205110315abs.htm},
  researchr = {https://researchr.org/publication/InamuraTISO04},
  cites = {0},
  citedby = {0},
  pages = {315-320},
  booktitle = {18th International Conference on Advanced Information Networking and Applications (AINA 2004), 29-31 March 2004, Fukuoka, Japan},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2051-0},
}