Automatic testing of TCP/IP implementations using quickcheck

  1. Paris, J.
  2. Arts, T.
Proceedings:
Erlang'09 - Proceedings of the 2009 ACM SIGPLAN Erlang Workshop, Co-located with the International Conference on Functional Programming, ICFP'09

ISBN: 9781605585079

Year of publication: 2009

Erlang'09 - Proceedings of the 2009 ACM SIGPLAN Erlang Workshop, Co-located with the International Conference on Functional Programming, ICFP'09

Pages: 83-91

Type: Conference paper

DOI: 10.1145/1596600.1596612 GOOGLE SCHOLAR