{"id":"https://openalex.org/W4385682849","doi":"https://doi.org/10.1145/3603269.3604834","title":"P4Testgen: An Extensible Test Oracle For P4","display_name":"P4Testgen: An Extensible Test Oracle For P4","publication_year":2023,"publication_date":"2023-09-01","ids":{"openalex":"https://openalex.org/W4385682849","doi":"https://doi.org/10.1145/3603269.3604834"},"language":"en","primary_location":{"id":"doi:10.1145/3603269.3604834","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3603269.3604834","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2023 Conference","raw_type":"proceedings-article"},"type":"preprint","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/A5000275316","display_name":"Fabian Ruffy","orcid":"https://orcid.org/0000-0003-1379-7277"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Fabian Ruffy","raw_affiliation_strings":["New York University, New York, New York, Germany"],"raw_orcid":"https://orcid.org/0000-0003-1379-7277","affiliations":[{"raw_affiliation_string":"New York University, New York, New York, Germany","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020572630","display_name":"Jed Liu","orcid":"https://orcid.org/0000-0002-2753-5174"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jed Liu","raw_affiliation_strings":["Akita Software, Palo Alto, California, USA"],"raw_orcid":"https://orcid.org/0000-0002-2753-5174","affiliations":[{"raw_affiliation_string":"Akita Software, Palo Alto, California, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019116380","display_name":"Prathima Kotikalapudi","orcid":"https://orcid.org/0009-0005-7713-0246"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Prathima Kotikalapudi","raw_affiliation_strings":["Intel, Santa Clara, San Francisco, USA"],"raw_orcid":"https://orcid.org/0009-0005-7713-0246","affiliations":[{"raw_affiliation_string":"Intel, Santa Clara, San Francisco, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042200645","display_name":"Vojt\u011bch Havel","orcid":"https://orcid.org/0009-0005-6079-1849"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vojtech Havel","raw_affiliation_strings":["Intel, Brno, Czech Republic"],"raw_orcid":"https://orcid.org/0009-0005-6079-1849","affiliations":[{"raw_affiliation_string":"Intel, Brno, Czech Republic","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027336699","display_name":"H. C. A. Tavante","orcid":"https://orcid.org/0009-0001-9846-9696"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hanneli Tavante","raw_affiliation_strings":["Intel, Montreal, Canada"],"raw_orcid":"https://orcid.org/0009-0001-9846-9696","affiliations":[{"raw_affiliation_string":"Intel, Montreal, Canada","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035338546","display_name":"Rob Sherwood","orcid":"https://orcid.org/0009-0001-7798-8462"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rob Sherwood","raw_affiliation_strings":["Intel, Santa Clara, California, United States of America"],"raw_orcid":"https://orcid.org/0009-0001-7798-8462","affiliations":[{"raw_affiliation_string":"Intel, Santa Clara, California, United States of America","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092616939","display_name":"Vladyslav Dubina","orcid":"https://orcid.org/0009-0004-9336-9444"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vladyslav Dubina","raw_affiliation_strings":["Litsoft, Cherson, Ukraine"],"raw_orcid":"https://orcid.org/0009-0004-9336-9444","affiliations":[{"raw_affiliation_string":"Litsoft, Cherson, Ukraine","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031724374","display_name":"Volodymyr Peschanenko","orcid":"https://orcid.org/0000-0003-1013-9877"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Volodymyr Peschanenko","raw_affiliation_strings":["Litsoft, Cherson, Ukraine"],"raw_orcid":"https://orcid.org/0000-0003-1013-9877","affiliations":[{"raw_affiliation_string":"Litsoft, Cherson, Ukraine","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008674902","display_name":"Anirudh Sivaraman","orcid":"https://orcid.org/0000-0001-5025-4234"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anirudh Sivaraman","raw_affiliation_strings":["New York University, New York, New York, United States of America"],"raw_orcid":"https://orcid.org/0000-0001-5025-4234","affiliations":[{"raw_affiliation_string":"New York University, New York, New York, United States of America","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013378091","display_name":"Nate Foster","orcid":"https://orcid.org/0000-0002-6557-684X"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nate Foster","raw_affiliation_strings":["Cornell University, Ithaca, New York, United States of America"],"raw_orcid":"https://orcid.org/0000-0002-6557-684X","affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, New York, United States of America","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":10,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.833,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.94695321,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"136","last_page":"151"},"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.9998999834060669,"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.9998999834060669,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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"}},{"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.860655665397644},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.7038689851760864},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.645350456237793},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.4718972146511078},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.43023478984832764},{"id":"https://openalex.org/keywords/extensibility","display_name":"Extensibility","score":0.4276983141899109},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4227461814880371},{"id":"https://openalex.org/keywords/hash-table","display_name":"Hash table","score":0.4217623174190521},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.41557827591896057},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11412835121154785}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.860655665397644},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7038689851760864},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.645350456237793},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.4718972146511078},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.43023478984832764},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.4276983141899109},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4227461814880371},{"id":"https://openalex.org/C67388219","wikidata":"https://www.wikidata.org/wiki/Q207440","display_name":"Hash table","level":3,"score":0.4217623174190521},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.41557827591896057},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11412835121154785},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3603269.3604834","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3603269.3604834","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2023 Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4300000071525574,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1312104185","display_name":"CNS Core: Small: Autogenerating fast packet-processing code using program synthesis","funder_award_id":"2008048","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1483783534","https://openalex.org/W1634497122","https://openalex.org/W1710734607","https://openalex.org/W1882012874","https://openalex.org/W1903979221","https://openalex.org/W1998471240","https://openalex.org/W2009489720","https://openalex.org/W2065955361","https://openalex.org/W2101512909","https://openalex.org/W2115526539","https://openalex.org/W2122695394","https://openalex.org/W2130371489","https://openalex.org/W2138788987","https://openalex.org/W2156268797","https://openalex.org/W2180601376","https://openalex.org/W2339906640","https://openalex.org/W2735845449","https://openalex.org/W2791671434","https://openalex.org/W2792493146","https://openalex.org/W2816958343","https://openalex.org/W2832131618","https://openalex.org/W2919933302","https://openalex.org/W2920584172","https://openalex.org/W2964241064","https://openalex.org/W2967385474","https://openalex.org/W3032442097","https://openalex.org/W3046814036","https://openalex.org/W3110628190","https://openalex.org/W3113662992","https://openalex.org/W3152942743","https://openalex.org/W4311032089","https://openalex.org/W6637389031","https://openalex.org/W6744379883","https://openalex.org/W6793935439","https://openalex.org/W6803011283","https://openalex.org/W7065148368"],"related_works":["https://openalex.org/W1948607442","https://openalex.org/W2170717427","https://openalex.org/W2144265691","https://openalex.org/W1605991620","https://openalex.org/W2810804488","https://openalex.org/W113683524","https://openalex.org/W4387251676","https://openalex.org/W4385261619","https://openalex.org/W93624718","https://openalex.org/W2972383756"],"abstract_inverted_index":{"We":[0],"present":[1],"P4Testgen,":[2],"a":[3],"test":[4,13],"oracle":[5],"for":[6,15],"the":[7,31,35,40,76],"P416":[8],"language.":[9],"P4Testgen":[10,61],"supports":[11],"automatic":[12],"generation":[14],"any":[16],"P4":[17,27,41],"target":[18],"and":[19,44,46,53,58,65],"is":[20],"designed":[21],"to":[22,25,81],"be":[23],"extensible":[24],"many":[26],"targets.":[28],"It":[29,68],"models":[30],"complete":[32],"semantics":[33],"of":[34,78],"target's":[36],"packet-processing":[37],"pipeline":[38],"including":[39],"language,":[42],"architectures":[43],"externs,":[45],"target-specific":[47],"extensions.":[48],"To":[49],"handle":[50],"non-deterministic":[51],"behaviors":[52],"complex":[54],"externs":[55],"(e.g.,":[56],"checksums":[57],"hash":[59],"functions),":[60],"uses":[62],"taint":[63],"tracking":[64],"concolic":[66],"execution.":[67],"also":[69],"provides":[70],"path":[71],"selection":[72],"strategies":[73],"that":[74],"reduce":[75],"number":[77],"tests":[79],"required":[80],"achieve":[82],"full":[83],"coverage.":[84]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3}],"updated_date":"2026-06-22T08:00:12.763002","created_date":"2025-10-10T00:00:00"}