Engineering with logic: Rigorous test-oracle specification and validation for TCP/IP and the Sockets API
Citation
Bishop, S, Fairbairn, M, Mehnert, H et al 2018, 'Engineering with logic: Rigorous test-oracle specification and validation for TCP/IP and the Sockets API', Journal of the ACM, vol. 66, no. 1, pp. 1-77pp.