Automatic testing of TCP/IP implementations using QuickCheck.

Javier París Thomas Arts

Published in: Erlang Workshop (2009)

Keyphrases

tcp ip
computer networks
ip networks
local area network
smart card
data mining
data structure
data processing
operating system
distributed databases