{"id":"https://openalex.org/W4415018791","doi":"https://doi.org/10.1007/978-3-032-07132-3_3","title":"LLM-Based Property-Based Test Generation for\u00a0Guardrailing Cyber-Physical Systems","display_name":"LLM-Based Property-Based Test Generation for\u00a0Guardrailing Cyber-Physical Systems","publication_year":2025,"publication_date":"2025-10-10","ids":{"openalex":"https://openalex.org/W4415018791","doi":"https://doi.org/10.1007/978-3-032-07132-3_3"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-07132-3_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-07132-3_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-07132-3_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-07132-3_3.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068350054","display_name":"Khashayar Etemadi","orcid":"https://orcid.org/0000-0003-2183-9633"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]},{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["CH","SE"],"is_corresponding":true,"raw_author_name":"Khashayar Etemadi","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland","M\u00e4lardalens University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"M\u00e4lardalens University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078919695","display_name":"Marjan Sirjani","orcid":"https://orcid.org/0000-0001-5478-0987"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Marjan Sirjani","raw_affiliation_strings":["M\u00e4lardalens University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalens University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063443669","display_name":"Mahshid Helali Moghadam","orcid":"https://orcid.org/0000-0003-3354-1463"},"institutions":[{"id":"https://openalex.org/I4210145666","display_name":"Embedded Systems (United States)","ror":"https://ror.org/04742eh45","country_code":"US","type":"company","lineage":["https://openalex.org/I4210145666"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mahshid Helali Moghadam","raw_affiliation_strings":["Cloud and Embedded Platform, Traton AB, S\u00f6dert\u00e4lje, Sweden"],"affiliations":[{"raw_affiliation_string":"Cloud and Embedded Platform, Traton AB, S\u00f6dert\u00e4lje, Sweden","institution_ids":["https://openalex.org/I4210145666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028417968","display_name":"Per Erik Strandberg","orcid":"https://orcid.org/0000-0003-1688-6937"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Per Strandberg","raw_affiliation_strings":["Westermo Network Technologies AB, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"Westermo Network Technologies AB, V\u00e4ster\u00e5s, Sweden","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079870005","display_name":"Paul Pettersson","orcid":"https://orcid.org/0000-0003-4040-3480"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Paul Pettersson","raw_affiliation_strings":["M\u00e4lardalens University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalens University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5068350054"],"corresponding_institution_ids":["https://openalex.org/I35440088","https://openalex.org/I82509713"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.65568862,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"18","last_page":"46"},"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.9997000098228455,"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.9997000098228455,"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/T12495","display_name":"Electrostatic Discharge in Electronics","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9955999851226807,"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/code","display_name":"Code (set theory)","score":0.5737000107765198},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.5311999917030334},{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.5133000016212463},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5006999969482422},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4456000030040741},{"id":"https://openalex.org/keywords/system-testing","display_name":"System testing","score":0.4180000126361847},{"id":"https://openalex.org/keywords/source-lines-of-code","display_name":"Source lines of code","score":0.414000004529953},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.4074999988079071}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8912000060081482},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5737000107765198},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5311999917030334},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.5133000016212463},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5006999969482422},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4456000030040741},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.4180000126361847},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.41679999232292175},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.414000004529953},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4074999988079071},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3682999908924103},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.350600004196167},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.3422999978065491},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3294999897480011},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32850000262260437},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.3165000081062317},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.3151000142097473},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.30410000681877136},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.29760000109672546},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.2946000099182129},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2915000021457672},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.28769999742507935},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28439998626708984},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.2827000021934509},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2825999855995178},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.26759999990463257},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.2542000114917755},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2531000077724457},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.2524999976158142},{"id":"https://openalex.org/C12148698","wikidata":"https://www.wikidata.org/wiki/Q364651","display_name":"Test plan","level":3,"score":0.250900000333786}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-07132-3_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-07132-3_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-07132-3_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-07132-3_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-07132-3_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-07132-3_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320327360","display_name":"M\u00e4lardalens h\u00f6gskola","ror":"https://ror.org/033vfbz75"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415018791.pdf","grobid_xml":"https://content.openalex.org/works/W4415018791.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W2121077396","https://openalex.org/W2442514026","https://openalex.org/W2990912491","https://openalex.org/W3164923066","https://openalex.org/W4244488020","https://openalex.org/W4250436085","https://openalex.org/W4384345748","https://openalex.org/W4391974543","https://openalex.org/W4393281834","https://openalex.org/W4400484392","https://openalex.org/W4400484796","https://openalex.org/W4405602213","https://openalex.org/W4406892642","https://openalex.org/W4411360037","https://openalex.org/W4414334072"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Cyber-physical":[1],"systems":[2,6,19,37],"(CPSs)":[3],"are":[4,87],"complex":[5],"that":[7,71],"integrate":[8],"physical,":[9],"computational,":[10],"and":[11,59,120,132,161,174],"communication":[12],"subsystems.":[13],"The":[14,79,169],"heterogeneous":[15],"nature":[16],"of":[17,61,117,143,164,171],"these":[18,102],"makes":[20],"their":[21,144],"safety":[22],"assurance":[23],"challenging.":[24],"In":[25],"this":[26],"paper,":[27],"we":[28,64],"propose":[29],"a":[30,177],"novel":[31],"automated":[32],"approach":[33,49,129],"for":[34,181,184],"guardrailing":[35],"cyber-physical":[36],"using":[38,186],"property-based":[39,188],"tests":[40],"(PBTs)":[41],"generated":[42,80,139],"by":[43],"Large":[44],"Language":[45],"Models":[46],"(LLMs).":[47],"Our":[48],"employs":[50],"an":[51],"LLM":[52,67],"to":[53,68,89,113,136],"extract":[54],"properties":[55,75],"from":[56],"the":[57,66,73,77,91,115,118,138,165],"code":[58],"documentation":[60],"CPSs.":[62],"Next,":[63],"use":[65],"generate":[69],"PBTs":[70,81,103,140],"verify":[72],"extracted":[74],"on":[76],"CPS.":[78],"have":[82],"two":[83],"uses.":[84],"First,":[85],"they":[86,148],"used":[88,106],"test":[90],"CPS":[92],"before":[93],"it":[94,122],"is":[95],"deployed,":[96],"i.e.,":[97,109],"at":[98,110],"design":[99],"time.":[100],"Secondly,":[101],"can":[104],"be":[105],"after":[107],"deployment,":[108],"run":[111,156],"time,":[112],"monitor":[114],"behavior":[116],"system":[119],"guardrail":[121],"against":[123],"unsafe":[124],"states.":[125],"We":[126],"implement":[127],"our":[128,172],"in":[130,141],"ChekProp":[131],"conduct":[133],"preliminary":[134],"experiments":[135,173],"evaluate":[137],"terms":[142],"relevance":[145],"(how":[146,154],"well":[147],"match":[149],"manually":[150],"crafted":[151],"properties),":[152],"executability":[153],"many":[155],"with":[157],"minimal":[158],"manual":[159],"modification),":[160],"effectiveness":[162],"(coverage":[163],"input":[166],"space":[167],"partitions).":[168],"results":[170],"evaluation":[175],"demonstrate":[176],"promising":[178],"path":[179],"forward":[180],"creating":[182],"guardrails":[183],"CPSs":[185],"LLM-generated":[187],"tests.":[189]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}