Steve Bishop

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2006
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.
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.
Proceedings of the ACM SIGCOMM 2005 Conference on Applications, 2005


  Loading...