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.

Year

2018

ANU Authors

Updated:  27 June 2022 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers