Engineering with logic: Rigorous test-oracle specification and validation for TCP/IP and the sockets API
Steve Bishop, Matthew Fairbairn, Hannes Mehnert, Michael Norrish, Tom Ridge, Peter Sewell, Michael Smith, Keith Wansbrough[doi] [Google Scholar] [DBLP] [Citeseer] [url]
J. ACM
66(1)
Association for Computing Machinery
New York, NY, USA
December 2018
Note(s): ISA specification
Association for Computing Machinery
New York, NY, USA
December 2018
Note(s): ISA specification