Steve Bishop

According to our database, Steve Bishop authored at least 3 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

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

J. ACM, 2019

2006

Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough

Proceedings of the ACM SIGCOMM 2005 Conference on Applications, 2005