{"id":"https://openalex.org/W2076628600","doi":"https://doi.org/10.1145/1596600.1596612","title":"Automatic testing of TCP/IP implementations using QuickCheck","display_name":"Automatic testing of TCP/IP implementations using QuickCheck","publication_year":2009,"publication_date":"2009-09-05","ids":{"openalex":"https://openalex.org/W2076628600","doi":"https://doi.org/10.1145/1596600.1596612","mag":"2076628600"},"language":"en","primary_location":{"id":"doi:10.1145/1596600.1596612","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1596600.1596612","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th ACM SIGPLAN workshop on ERLANG","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/A5075852855","display_name":"Javier Par\u00eds","orcid":"https://orcid.org/0000-0002-0476-2913"},"institutions":[{"id":"https://openalex.org/I11019714","display_name":"Universidade da Coru\u00f1a","ror":"https://ror.org/01qckj285","country_code":"ES","type":"education","lineage":["https://openalex.org/I11019714"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Javier Paris","raw_affiliation_strings":["University of A Coruna, A Coruna, Spain"],"affiliations":[{"raw_affiliation_string":"University of A Coruna, A Coruna, Spain","institution_ids":["https://openalex.org/I11019714"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075791951","display_name":"Thomas Arts","orcid":null},"institutions":[{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]},{"id":"https://openalex.org/I4210149418","display_name":"Quviq (Sweden)","ror":"https://ror.org/05q10zf45","country_code":"SE","type":"company","lineage":["https://openalex.org/I4210149418"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Thomas Arts","raw_affiliation_strings":["IT University of Gothenburg and Quviq AB, Gothenburg, Sweden","IT University of Gothenburg and Quviq AB, Gothenburg, Sweden#TAB#"],"affiliations":[{"raw_affiliation_string":"IT University of Gothenburg and Quviq AB, Gothenburg, Sweden","institution_ids":["https://openalex.org/I4210149418","https://openalex.org/I881427289"]},{"raw_affiliation_string":"IT University of Gothenburg and Quviq AB, Gothenburg, Sweden#TAB#","institution_ids":["https://openalex.org/I881427289"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5075852855"],"corresponding_institution_ids":["https://openalex.org/I11019714"],"apc_list":null,"apc_paid":null,"fwci":2.2621,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.87710894,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"83","last_page":"92"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.9987999796867371,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/protocol-stack","display_name":"Protocol stack","score":0.7996145486831665},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7268995046615601},{"id":"https://openalex.org/keywords/internet-protocol-suite","display_name":"Internet protocol suite","score":0.6598250269889832},{"id":"https://openalex.org/keywords/stack","display_name":"Stack (abstract data type)","score":0.6454025506973267},{"id":"https://openalex.org/keywords/transmission-control-protocol","display_name":"Transmission Control Protocol","score":0.5946726202964783},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.5935379266738892},{"id":"https://openalex.org/keywords/internet-protocol","display_name":"Internet Protocol","score":0.5809760093688965},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.5734462738037109},{"id":"https://openalex.org/keywords/network-interface","display_name":"Network interface","score":0.4785217046737671},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4708012342453003},{"id":"https://openalex.org/keywords/winsock","display_name":"Winsock","score":0.4550122618675232},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.44595080614089966},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.41567718982696533},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.3605114817619324},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09290066361427307}],"concepts":[{"id":"https://openalex.org/C38601921","wikidata":"https://www.wikidata.org/wiki/Q1757693","display_name":"Protocol stack","level":3,"score":0.7996145486831665},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7268995046615601},{"id":"https://openalex.org/C65567647","wikidata":"https://www.wikidata.org/wiki/Q81414","display_name":"Internet protocol suite","level":3,"score":0.6598250269889832},{"id":"https://openalex.org/C9395851","wikidata":"https://www.wikidata.org/wiki/Q177929","display_name":"Stack (abstract data type)","level":2,"score":0.6454025506973267},{"id":"https://openalex.org/C33588617","wikidata":"https://www.wikidata.org/wiki/Q8803","display_name":"Transmission Control Protocol","level":3,"score":0.5946726202964783},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5935379266738892},{"id":"https://openalex.org/C35341882","wikidata":"https://www.wikidata.org/wiki/Q8795","display_name":"Internet Protocol","level":3,"score":0.5809760093688965},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.5734462738037109},{"id":"https://openalex.org/C103987645","wikidata":"https://www.wikidata.org/wiki/Q985806","display_name":"Network interface","level":3,"score":0.4785217046737671},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4708012342453003},{"id":"https://openalex.org/C83672932","wikidata":"https://www.wikidata.org/wiki/Q1501914","display_name":"Winsock","level":4,"score":0.4550122618675232},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.44595080614089966},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.41567718982696533},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.3605114817619324},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09290066361427307},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1596600.1596612","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1596600.1596612","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th ACM SIGPLAN workshop on ERLANG","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320326655","display_name":"Xunta de Galicia","ror":"https://ror.org/0181xnw06"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1983309829","https://openalex.org/W2030358379","https://openalex.org/W2103999647","https://openalex.org/W2119717320","https://openalex.org/W4244488020"],"related_works":["https://openalex.org/W2555949057","https://openalex.org/W2371221326","https://openalex.org/W4253713046","https://openalex.org/W4255396408","https://openalex.org/W2349261414","https://openalex.org/W2351176966","https://openalex.org/W2355178628","https://openalex.org/W2351290169","https://openalex.org/W2038249758","https://openalex.org/W2388418374"],"abstract_inverted_index":{"We":[0,13,103,163],"describe":[1],"how":[2],"to":[3,29,45,59,100,119,134,154],"use":[4],"model":[5],"based":[6,22],"testing":[7,9,23,77],"for":[8,54,84,110],"a":[10,15,41,50,63,67,124],"network":[11],"stack.":[12,38,126],"present":[14,104],"framework":[16,167],"that":[17,57,92],"together":[18],"with":[19],"the":[20,31,35,55,60,74,93,130,136,140,147,155,159,165,169],"property":[21],"tool":[24],"QuickCheck":[25],"can":[26,96],"be":[27,98],"used":[28],"test":[30,107,120,133,137,166],"TCP":[32,39,111,125],"layer":[33],"of":[34,52,123],"Internet":[36],"protocol":[37,44],"is":[40,78,82],"rather":[42],"difficult":[43],"test,":[46],"since":[47],"it":[48,144],"hides":[49],"lot":[51,68],"operations":[53],"user":[56],"communicates":[58],"stack":[61,131,160],"via":[62],"socket":[64,148],"interface.":[65],"Internally,":[66],"happens":[69],"and":[70,88,150],"by":[71,138,143,151,158],"only":[72],"controlling":[73],"interface,":[75],"full":[76],"not":[79],"possible.":[80],"This":[81,114],"typical":[83],"more":[85],"complex":[86],"protocols":[87],"we":[89],"therefore":[90],"claim":[91],"presented":[94],"method":[95],"easily":[97],"extended":[99],"other":[101],"cases.":[102],"an":[105],"automatic":[106],"case":[108],"generator":[109],"using":[112,139],"Quickcheck.":[113],"tester":[115],"generates":[116],"packet":[117],"flows":[118],"specific":[121],"features":[122],"It":[127],"then":[128],"controls":[129],"under":[132,161],"run":[135],"interface":[141],"provided":[142],"(for":[145],"example,":[146],"interface),":[149],"sending":[152],"replies":[153],"packets":[156],"created":[157],"test.":[162],"validated":[164],"on":[168],"standard":[170],"Linux":[171],"TCP/IP":[172],"implementation.":[173]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}