{"id":"https://openalex.org/W2018041465","doi":"https://doi.org/10.1145/1080091.1080123","title":"Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets","display_name":"Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets","publication_year":2005,"publication_date":"2005-08-22","ids":{"openalex":"https://openalex.org/W2018041465","doi":"https://doi.org/10.1145/1080091.1080123","mag":"2018041465"},"language":"en","primary_location":{"id":"doi:10.1145/1080091.1080123","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1080091.1080123","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111568839","display_name":"Steve Bishop","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]},{"id":"https://openalex.org/I4210096386","display_name":"Bridge University","ror":"https://ror.org/00cbm0437","country_code":"SS","type":"education","lineage":["https://openalex.org/I4210096386"]}],"countries":["GB","SS"],"is_corresponding":false,"raw_author_name":"Steve Bishop","raw_affiliation_strings":["University of Cambridge Computer Laboratory","University of Cambridge - Computer Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cambridge Computer Laboratory","institution_ids":["https://openalex.org/I4210096386","https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge - Computer Laboratory","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006601614","display_name":"Matthew Fairbairn","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]},{"id":"https://openalex.org/I4210096386","display_name":"Bridge University","ror":"https://ror.org/00cbm0437","country_code":"SS","type":"education","lineage":["https://openalex.org/I4210096386"]}],"countries":["GB","SS"],"is_corresponding":false,"raw_author_name":"Matthew Fairbairn","raw_affiliation_strings":["University of Cambridge Computer Laboratory","University of Cambridge - Computer Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cambridge Computer Laboratory","institution_ids":["https://openalex.org/I4210096386","https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge - Computer Laboratory","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056365707","display_name":"Michael Norrish","orcid":"https://orcid.org/0000-0003-1163-8467"},"institutions":[{"id":"https://openalex.org/I4210127731","display_name":"Canberra (United Kingdom)","ror":"https://ror.org/03dnk5950","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210127731"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU","GB"],"is_corresponding":false,"raw_author_name":"Michael Norrish","raw_affiliation_strings":["NICTA, Canberra"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NICTA, Canberra","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I4210127731"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083405043","display_name":"Peter Sewell","orcid":"https://orcid.org/0000-0001-9352-1013"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]},{"id":"https://openalex.org/I4210096386","display_name":"Bridge University","ror":"https://ror.org/00cbm0437","country_code":"SS","type":"education","lineage":["https://openalex.org/I4210096386"]}],"countries":["GB","SS"],"is_corresponding":false,"raw_author_name":"Peter Sewell","raw_affiliation_strings":["University of Cambridge Computer Laboratory","University of Cambridge - Computer Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cambridge Computer Laboratory","institution_ids":["https://openalex.org/I4210096386","https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge - Computer Laboratory","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020084018","display_name":"Michael B. Smith","orcid":"https://orcid.org/0000-0002-4165-8218"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]},{"id":"https://openalex.org/I4210096386","display_name":"Bridge University","ror":"https://ror.org/00cbm0437","country_code":"SS","type":"education","lineage":["https://openalex.org/I4210096386"]}],"countries":["GB","SS"],"is_corresponding":false,"raw_author_name":"Michael Smith","raw_affiliation_strings":["University of Cambridge Computer Laboratory","University of Cambridge - Computer Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cambridge Computer Laboratory","institution_ids":["https://openalex.org/I4210096386","https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge - Computer Laboratory","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056684856","display_name":"Keith Wansbrough","orcid":null},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]},{"id":"https://openalex.org/I4210096386","display_name":"Bridge University","ror":"https://ror.org/00cbm0437","country_code":"SS","type":"education","lineage":["https://openalex.org/I4210096386"]}],"countries":["GB","SS"],"is_corresponding":false,"raw_author_name":"Keith Wansbrough","raw_affiliation_strings":["University of Cambridge Computer Laboratory","University of Cambridge - Computer Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cambridge Computer Laboratory","institution_ids":["https://openalex.org/I4210096386","https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge - Computer Laboratory","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.3208,"has_fulltext":false,"cited_by_count":88,"citation_normalized_percentile":{"value":0.96647895,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"265","last_page":"276"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8462048768997192},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.7949690818786621},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.7576917409896851},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5867288708686829},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.41552895307540894},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4111863672733307},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3799947500228882},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.36712539196014404},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.342905193567276},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.07524386048316956}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8462048768997192},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.7949690818786621},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.7576917409896851},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5867288708686829},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.41552895307540894},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4111863672733307},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3799947500228882},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36712539196014404},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.342905193567276},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.07524386048316956},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/1080091.1080123","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1080091.1080123","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.154.1450","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.1450","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.sics.se/pepito/D1.9/papers/paper.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.541.6168","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.541.6168","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://nicta.com.au/people/norrishm/attachments/bibliographies_and_papers/2005/sigcomm-2005.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.62.3412","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.3412","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cl.cam.ac.uk/~pes20/Netsem/paper.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.637.4029","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.4029","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.nicta.com.au/pub?doc=7530","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W11392066","https://openalex.org/W64205235","https://openalex.org/W207759855","https://openalex.org/W336063547","https://openalex.org/W1494042173","https://openalex.org/W1521083034","https://openalex.org/W1533968881","https://openalex.org/W1546402579","https://openalex.org/W1554481496","https://openalex.org/W1563533791","https://openalex.org/W1571968373","https://openalex.org/W1575091394","https://openalex.org/W1600543584","https://openalex.org/W1732700501","https://openalex.org/W1875378518","https://openalex.org/W1896822992","https://openalex.org/W1935756551","https://openalex.org/W1979302214","https://openalex.org/W2001278346","https://openalex.org/W2006277353","https://openalex.org/W2033685783","https://openalex.org/W2033871392","https://openalex.org/W2042389330","https://openalex.org/W2077379060","https://openalex.org/W2092119328","https://openalex.org/W2101080231","https://openalex.org/W2101341522","https://openalex.org/W2108752882","https://openalex.org/W2116730897","https://openalex.org/W2118414546","https://openalex.org/W2165781299","https://openalex.org/W2170207772","https://openalex.org/W2510121669","https://openalex.org/W2518300595","https://openalex.org/W2914767399","https://openalex.org/W4241746706","https://openalex.org/W6602602921","https://openalex.org/W6639236685","https://openalex.org/W7045197555"],"related_works":["https://openalex.org/W1596157658","https://openalex.org/W1964111820","https://openalex.org/W2108394166","https://openalex.org/W4229439915","https://openalex.org/W2098613964","https://openalex.org/W1984757784","https://openalex.org/W2318524837","https://openalex.org/W2484235349","https://openalex.org/W753259267","https://openalex.org/W2024218563"],"abstract_inverted_index":{"Network":[0],"protocols":[1,119],"are":[2,30,157],"hard":[3],"to":[4,64,153,163],"implement":[5],"correctly.":[6],"Despite":[7],"the":[8,28,68,79,110,128,135],"existence":[9],"of":[10,81,99,138],"RFCs":[11],"and":[12,20,33,67,89,102,160,162],"other":[13],"standards,":[14],"implementations":[15,84,165],"often":[16],"have":[17,61],"subtle":[18],"differences":[19,100],"bugs.":[21],"One":[22],"reason":[23],"for":[24,52,109,118],"this":[25,45],"is":[26,43,116,130],"that":[27,56,76,113,127,156,166],"specifications":[29,42,155],"typically":[31],"informal,":[32],"hence":[34],"inevitably":[35],"contain":[36],"ambiguities.":[37],"Conformance":[38],"testing":[39],"against":[40,171],"such":[41,144],"challenging.In":[44],"paper":[46],"we":[47],"present":[48],"a":[49,72,97,145],"practical":[50],"technique":[51,129],"rigorous":[53,114],"protocol":[54,150,154],"specification":[55,75,115],"supports":[57],"specification-based":[58],"testing.":[59],"We":[60,125,141],"applied":[62],"it":[63],"TCP,":[65],"UDP,":[66],"Sockets":[69],"API,":[70],"developing":[71],"detailed":[73],"'post-hoc'":[74],"accurately":[77],"reflects":[78],"behaviour":[80],"several":[82],"existing":[83],"(FreeBSD":[85],"4.6,":[86],"Linux":[87],"2.4.20-8,":[88],"Windows":[90],"XP":[91],"SP1).":[92],"The":[93],"development":[94],"process":[95],"uncovered":[96],"number":[98],"between":[101],"infelicities":[103],"in":[104,134],"these":[105],"implementations.Our":[106],"experience":[107],"shows":[108],"first":[111],"time":[112],"feasible":[117],"as":[120,122],"complex":[121],"[email":[123],"protected]":[124],"argue":[126],"also":[131],"applicable":[132],"'pre-hoc',":[133],"design":[136],"phase":[137],"new":[139],"protocols.":[140],"discuss":[142],"how":[143],"design-for-test":[146],"approach":[147],"should":[148],"influence":[149],"development,":[151],"leading":[152],"both":[158],"unambiguous":[159],"clear,":[161],"high-quality":[164],"can":[167],"be":[168],"tested":[169],"directly":[170],"those":[172],"specifications.":[173]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":13},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}