• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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