Login / Signup

Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API.

Steve BishopMatthew FairbairnHannes MehnertMichael NorrishTom RidgePeter SewellMichael SmithKeith Wansbrough
Published in: J. ACM (2019)
Keyphrases
  • tcp ip
  • computer networks
  • ip networks
  • internet protocol
  • local area network
  • smart card
  • transmission control protocol
  • wide area network
  • high level
  • database
  • high speed
  • oracle database