{"id":"https://openalex.org/W4384155669","doi":"https://doi.org/10.1145/3597926.3598069","title":"PhysCov: Physical Test Coverage for Autonomous Vehicles","display_name":"PhysCov: Physical Test Coverage for Autonomous Vehicles","publication_year":2023,"publication_date":"2023-07-12","ids":{"openalex":"https://openalex.org/W4384155669","doi":"https://doi.org/10.1145/3597926.3598069"},"language":"en","primary_location":{"id":"doi:10.1145/3597926.3598069","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3597926.3598069","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3597926.3598069","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3597926.3598069","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084508993","display_name":"Carl Hildebrandt","orcid":null},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Carl Hildebrandt","raw_affiliation_strings":["University of Virginia, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037671969","display_name":"Meriel von Stein","orcid":"https://orcid.org/0000-0003-4641-4199"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Meriel von Stein","raw_affiliation_strings":["University of Virginia, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025318877","display_name":"Sebastian Elbaum","orcid":"https://orcid.org/0000-0001-9592-1352"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sebastian Elbaum","raw_affiliation_strings":["University of Virginia, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5084508993"],"corresponding_institution_ids":["https://openalex.org/I51556381"],"apc_list":null,"apc_paid":null,"fwci":2.5924,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.91579784,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"449","last_page":"461"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9943000078201294,"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/reachability","display_name":"Reachability","score":0.715429425239563},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6961223483085632},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.6758989095687866},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6616167426109314},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5661487579345703},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5304837822914124},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.5014653205871582},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.48690903186798096},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.4737226068973541},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4570302367210388},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.44182682037353516},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4331970810890198},{"id":"https://openalex.org/keywords/autonomous-system","display_name":"Autonomous system (mathematics)","score":0.4304019510746002},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.41742709279060364},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38078078627586365},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3514590859413147},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.33820563554763794},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.29666203260421753},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.2659447193145752},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1460634469985962},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.12153324484825134},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.10247355699539185}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.715429425239563},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6961223483085632},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6758989095687866},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6616167426109314},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5661487579345703},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5304837822914124},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5014653205871582},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.48690903186798096},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.4737226068973541},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4570302367210388},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.44182682037353516},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4331970810890198},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.4304019510746002},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.41742709279060364},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38078078627586365},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3514590859413147},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.33820563554763794},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.29666203260421753},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2659447193145752},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1460634469985962},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.12153324484825134},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.10247355699539185},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3597926.3598069","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3597926.3598069","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3597926.3598069","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3597926.3598069","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3597926.3598069","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3597926.3598069","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1154073153","display_name":null,"funder_award_id":"1924777","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G4516736450","display_name":null,"funder_award_id":"-21-1-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G7650607359","display_name":null,"funder_award_id":"FA9550-21-1-0164","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4384155669.pdf","grobid_xml":"https://content.openalex.org/works/W4384155669.grobid-xml"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W1544016679","https://openalex.org/W1592813209","https://openalex.org/W1601055277","https://openalex.org/W1964298660","https://openalex.org/W1995834002","https://openalex.org/W2021667711","https://openalex.org/W2027106228","https://openalex.org/W2045671792","https://openalex.org/W2055999595","https://openalex.org/W2090501324","https://openalex.org/W2116364955","https://openalex.org/W2123801862","https://openalex.org/W2125539770","https://openalex.org/W2131201793","https://openalex.org/W2165723276","https://openalex.org/W2328067583","https://openalex.org/W2525936901","https://openalex.org/W2531894595","https://openalex.org/W2535870504","https://openalex.org/W2775678306","https://openalex.org/W2803691889","https://openalex.org/W2804337238","https://openalex.org/W2891056855","https://openalex.org/W2952402617","https://openalex.org/W2957066083","https://openalex.org/W2964040381","https://openalex.org/W2969033227","https://openalex.org/W2979485058","https://openalex.org/W2999083535","https://openalex.org/W3007157104","https://openalex.org/W3035172746","https://openalex.org/W3036286896","https://openalex.org/W3043550678","https://openalex.org/W3047641937","https://openalex.org/W3098394944","https://openalex.org/W3107034996","https://openalex.org/W3149322120","https://openalex.org/W4214898348","https://openalex.org/W4231791389","https://openalex.org/W4238093859","https://openalex.org/W4244876483","https://openalex.org/W4245744969","https://openalex.org/W4254057358","https://openalex.org/W4283457869","https://openalex.org/W4286664370","https://openalex.org/W4299607995","https://openalex.org/W4300184098","https://openalex.org/W6635545125"],"related_works":["https://openalex.org/W2994120531","https://openalex.org/W2756692340","https://openalex.org/W2108326965","https://openalex.org/W2086962923","https://openalex.org/W3017360834","https://openalex.org/W4229048927","https://openalex.org/W3099113830","https://openalex.org/W3149651311","https://openalex.org/W190251865","https://openalex.org/W2152192540"],"abstract_inverted_index":{"Adequately":[0],"exercising":[1],"the":[2,22,60,66,73,95,107,117,124,127,132,153,174],"behaviors":[3],"of":[4,59,97,126,177],"autonomous":[5,15,52,74,133,203],"vehicles":[6],"is":[7,19,25],"fundamental":[8],"to":[9,82,122,158,166,172,200,228],"their":[10],"validation.":[11],"However,":[12],"quantifying":[13],"an":[14,51,91,202],"vehicle\u2019s":[16,67,75,118,204],"testing":[17],"adequacy":[18],"challenging":[20],"as":[21,31,33],"system\u2019s":[23,195],"behavior":[24],"influenced":[26],"both":[27],"by":[28,50],"its":[29,34,83,208,214,226],"state":[30,119],"well":[32],"physical":[35,61,99,112],"environment.":[36],"To":[37],"address":[38],"this":[39],"challenge,":[40],"our":[41],"work":[42],"builds":[43],"on":[44,86,116,189],"two":[45,190],"insights.":[46],"First,":[47],"data":[48],"sensed":[49],"vehicle":[53],"provides":[54],"a":[55,98,111,141],"unique":[56],"spatial":[57],"signature":[58],"environment":[62,128],"inputs.":[63],"Second,":[64],"given":[65],"current":[68],"state,":[69],"inputs":[70],"residing":[71],"outside":[72],"physically":[76],"reachable":[77],"regions":[78],"are":[79,156],"less":[80],"relevant":[81],"behavior.":[84],"Building":[85],"those":[87],"insights,":[88],"we":[89],"introduce":[90],"abstraction":[92,105],"that":[93,129,138,145],"enables":[94],"computation":[96],"environment-state":[100],"coverage":[101],"metric,":[102],"PhysCov.":[103,186],"The":[104],"combines":[106],"sensor":[108],"readings":[109],"with":[110,152,181,216],"reachability":[113],"analysis":[114],"based":[115],"and":[120,164,169,192,211,219,224],"dynamics":[121],"determine":[123],"region":[125,139],"may":[130],"affect":[131],"vehicle.":[134],"It":[135],"then":[136],"characterizes":[137],"through":[140],"parameterizable":[142],"geometric":[143],"approximation":[144],"can":[146],"trade":[147],"quality":[148],"for":[149,221],"cost.":[150],"Tests":[151],"same":[154,175],"characterizations":[155,183],"deemed":[157],"have":[159],"had":[160],"similar":[161,167],"internal":[162],"states":[163],"exposed":[165],"environments":[168],"thus":[170],"likely":[171],"exercise":[173],"set":[176],"behaviors,":[178],"while":[179],"tests":[180],"distinct":[182],"will":[184],"increase":[185],"A":[187],"study":[188],"simulated":[191],"one":[193],"real":[194],"dataset":[196],"examines":[197],"PhysCovs\u2019s":[198],"ability":[199,227],"quantify":[201],"test":[205,222],"suite,":[206],"showcases":[207],"characterization":[209],"cost":[210],"precision,":[212],"investigates":[213],"correlation":[215],"failures":[217],"found":[218],"potential":[220],"selection,":[223],"assesses":[225],"distinguish":[229],"among":[230],"real-world":[231],"scenarios.":[232]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":5}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}