{"id":"https://openalex.org/W4400484284","doi":"https://doi.org/10.1145/3663529.3663779","title":"Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach","display_name":"Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach","publication_year":2024,"publication_date":"2024-07-10","ids":{"openalex":"https://openalex.org/W4400484284","doi":"https://doi.org/10.1145/3663529.3663779"},"language":"en","primary_location":{"id":"doi:10.1145/3663529.3663779","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3663529.3663779","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3663529.3663779","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081182489","display_name":"Xi Zheng","orcid":"https://orcid.org/0000-0002-2572-2355"},"institutions":[{"id":"https://openalex.org/I99043593","display_name":"Macquarie University","ror":"https://ror.org/01sf06y89","country_code":"AU","type":"education","lineage":["https://openalex.org/I99043593"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Xi Zheng","raw_affiliation_strings":["Macquarie University, Sydney, Australia"],"affiliations":[{"raw_affiliation_string":"Macquarie University, Sydney, Australia","institution_ids":["https://openalex.org/I99043593"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028305433","display_name":"Aloysius K. Mok","orcid":"https://orcid.org/0000-0003-1309-8425"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aloysius K. Mok","raw_affiliation_strings":["University of Texas at Austin, Austin, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045794652","display_name":"Ru\u017eica Piska\u010d","orcid":"https://orcid.org/0000-0002-3267-0776"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruzica Piskac","raw_affiliation_strings":["Yale University, New Heaven, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, New Heaven, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072079475","display_name":"Yong Jae Lee","orcid":"https://orcid.org/0000-0001-9863-1270"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yong Jae Lee","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063784062","display_name":"Bhaskar Krishnamachari","orcid":"https://orcid.org/0000-0002-9994-9931"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bhaskar Krishnamachari","raw_affiliation_strings":["University of Southern California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012210223","display_name":"Dakai Zhu","orcid":"https://orcid.org/0000-0002-1938-9947"},"institutions":[{"id":"https://openalex.org/I45438204","display_name":"The University of Texas at San Antonio","ror":"https://ror.org/01kd65564","country_code":"US","type":"education","lineage":["https://openalex.org/I45438204"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dakai Zhu","raw_affiliation_strings":["University of Texas at San Antonio, San Antonio, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at San Antonio, San Antonio, USA","institution_ids":["https://openalex.org/I45438204"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082105260","display_name":"Oleg Sokolsky","orcid":"https://orcid.org/0000-0001-5282-0658"},"institutions":[{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Oleg Sokolsky","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030456600","display_name":"Insup Lee","orcid":"https://orcid.org/0000-0003-2672-1132"},"institutions":[{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Insup Lee","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5081182489"],"corresponding_institution_ids":["https://openalex.org/I99043593"],"apc_list":null,"apc_paid":null,"fwci":1.1586,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.80822244,"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":"467","last_page":"471"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9994000196456909,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9994000196456909,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9969000220298767,"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/T10142","display_name":"Formal Methods in Verification","score":0.9799000024795532,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/cyber-physical-system","display_name":"Cyber-physical system","score":0.7571503520011902},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7369609475135803},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.4724947512149811},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.42028889060020447},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40044504404067993},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3810803294181824},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.34467238187789917}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7571503520011902},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7369609475135803},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.4724947512149811},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.42028889060020447},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40044504404067993},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3810803294181824},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.34467238187789917},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3663529.3663779","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3663529.3663779","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3663529.3663779","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3663529.3663779","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W186035943","https://openalex.org/W1731663387","https://openalex.org/W1883237636","https://openalex.org/W1989445634","https://openalex.org/W2076343783","https://openalex.org/W2086359741","https://openalex.org/W2100162598","https://openalex.org/W2311611239","https://openalex.org/W2615547864","https://openalex.org/W2798786289","https://openalex.org/W2807161818","https://openalex.org/W2922234936","https://openalex.org/W2937290319","https://openalex.org/W2963327228","https://openalex.org/W2970089253","https://openalex.org/W3025279871","https://openalex.org/W3027099759","https://openalex.org/W3046662910","https://openalex.org/W3092507083","https://openalex.org/W3101000982","https://openalex.org/W3116690515","https://openalex.org/W3158991438","https://openalex.org/W3172863135","https://openalex.org/W4284682233","https://openalex.org/W4284708843","https://openalex.org/W4287114153","https://openalex.org/W4289535158","https://openalex.org/W4295850088","https://openalex.org/W4308642992","https://openalex.org/W4308643085","https://openalex.org/W4312381959","https://openalex.org/W4312862130","https://openalex.org/W4313154583","https://openalex.org/W4323644408","https://openalex.org/W4323655724","https://openalex.org/W4378591002","https://openalex.org/W4384345629","https://openalex.org/W4385346108"],"related_works":["https://openalex.org/W1587246512","https://openalex.org/W3022086173","https://openalex.org/W2488581006","https://openalex.org/W2323519609","https://openalex.org/W2913714777","https://openalex.org/W61995002","https://openalex.org/W1546523042","https://openalex.org/W2110102808","https://openalex.org/W2240208030","https://openalex.org/W2138398927"],"abstract_inverted_index":{"The":[0],"integration":[1],"of":[2,66],"machine":[3],"learning":[4,36],"into":[5],"cyber-physical":[6],"systems":[7],"(CPS)":[8],"promises":[9],"enhanced":[10],"efficiency":[11],"and":[12,20,35,41,74,79],"autonomous":[13,18],"capabilities,":[14],"revolutionizing":[15],"fields":[16],"like":[17],"vehicles":[19],"telemedicine.":[21],"This":[22,50],"evolution":[23],"necessitates":[24],"a":[25,69,82],"shift":[26],"in":[27,56,59],"the":[28,54,64],"software":[29],"development":[30],"life":[31],"cycle,":[32],"where":[33],"data":[34],"are":[37,44],"pivotal.":[38],"Traditional":[39],"verification":[40,73],"validation":[42],"methods":[43],"inadequate":[45],"for":[46,72,81],"these":[47],"AI-driven":[48],"systems.":[49],"study":[51],"focuses":[52],"on":[53],"challenges":[55],"ensuring":[57],"safety":[58],"learning-enabled":[60],"CPS.":[61],"It":[62],"emphasizes":[63],"role":[65],"testing":[67],"as":[68],"primary":[70],"method":[71],"validation,":[75],"critiques":[76],"current":[77],"methodologies,":[78],"advocates":[80],"more":[83],"rigorous":[84],"approach":[85],"to":[86],"assure":[87],"formal":[88],"safety.":[89]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-12-19T19:40:27.379048","created_date":"2025-10-10T00:00:00"}