{"id":"https://openalex.org/W4388739098","doi":"https://doi.org/10.1109/tcad.2023.3333758","title":"On Input Generators for Cyber\u2013Physical Systems Falsification","display_name":"On Input Generators for Cyber\u2013Physical Systems Falsification","publication_year":2023,"publication_date":"2023-11-16","ids":{"openalex":"https://openalex.org/W4388739098","doi":"https://doi.org/10.1109/tcad.2023.3333758"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2023.3333758","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2023.3333758","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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/A5046164707","display_name":"Zahra Ramezani","orcid":"https://orcid.org/0000-0003-0873-7712"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Zahra Ramezani","raw_affiliation_strings":["Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-0873-7712","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081324945","display_name":"Alexandre Donz\u00e9","orcid":"https://orcid.org/0000-0002-1138-5458"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexandre Donz\u00e9","raw_affiliation_strings":["Decyphir SAS, Moirans, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Decyphir SAS, Moirans, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017972835","display_name":"Martin Fabian","orcid":"https://orcid.org/0000-0003-1287-9748"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Martin Fabian","raw_affiliation_strings":["Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-1287-9748","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108805135","display_name":"Knut \u00c5kesson","orcid":"https://orcid.org/0000-0001-6105-2726"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Knut \u00c5kesson","raw_affiliation_strings":["Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15242687,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"43","issue":"4","first_page":"1274","last_page":"1287"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9980000257492065,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9980000257492065,"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/T10142","display_name":"Formal Methods in Verification","score":0.9965000152587891,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9958999752998352,"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/cyber-physical-system","display_name":"Cyber-physical system","score":0.8197948932647705},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5020084381103516},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4537511169910431},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08081969618797302}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.8197948932647705},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5020084381103516},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4537511169910431},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08081969618797302}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tcad.2023.3333758","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2023.3333758","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},{"id":"pmh:oai:research.chalmers.se:538672","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/538672","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W616055941","https://openalex.org/W618136976","https://openalex.org/W1547304883","https://openalex.org/W2022671649","https://openalex.org/W2026629052","https://openalex.org/W2049399166","https://openalex.org/W2083222184","https://openalex.org/W2095274657","https://openalex.org/W2107729695","https://openalex.org/W2131399618","https://openalex.org/W2153803621","https://openalex.org/W2163590987","https://openalex.org/W2187041056","https://openalex.org/W2192203593","https://openalex.org/W2295828805","https://openalex.org/W2735260746","https://openalex.org/W2735780801","https://openalex.org/W2766361116","https://openalex.org/W2884716674","https://openalex.org/W2963231286","https://openalex.org/W2963516601","https://openalex.org/W2994717975","https://openalex.org/W3023104975","https://openalex.org/W3047747739","https://openalex.org/W3086495553","https://openalex.org/W3091879671","https://openalex.org/W3119572193","https://openalex.org/W3147354744","https://openalex.org/W3184406940","https://openalex.org/W4200324797","https://openalex.org/W4200573247","https://openalex.org/W4206951825","https://openalex.org/W4224994162","https://openalex.org/W4234228486","https://openalex.org/W4238689832","https://openalex.org/W4244488020","https://openalex.org/W4254481081","https://openalex.org/W4297781990","https://openalex.org/W4297834210","https://openalex.org/W6743333067","https://openalex.org/W6764988152","https://openalex.org/W6766900132","https://openalex.org/W6810003142","https://openalex.org/W6843409201","https://openalex.org/W6843460798"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W3004173571","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2546638913","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2963445270"],"abstract_inverted_index":{"Falsification":[0],"is":[1,81,85],"a":[2,32,55,156],"testing":[3],"method":[4,27],"that":[5,77],"aims":[6],"to":[7,48,53,97,168],"increase":[8],"confidence":[9],"in":[10,71,90,139],"the":[11,18,35,50,72,88,140,148],"correctness":[12],"of":[13,34,109,150],"cyber\u2013physical":[14],"systems":[15],"by":[16],"guiding":[17],"search":[19],"for":[20,31,164],"counterexamples":[21],"with":[22,118],"some":[23],"optimization":[24,62],"algorithm.":[25],"This":[26],"generates":[28],"input":[29,79,110,123,153],"signals":[30,117,154],"simulation":[33],"system":[36],"under":[37],"test":[38],"and":[39,64,69,92,105,115,142],"employs":[40],"quantitative":[41],"semantics,":[42],"which":[43],"serves":[44],"as":[45,134,136],"objective":[46],"functions,":[47],"minimize":[49],"distance":[51],"needed":[52],"falsify":[54],"specification.":[56],"Various":[57],"implementations":[58],"based":[59,127],"on":[60,128,131],"different":[61,93,99,119,152],"strategies":[63],"semantics":[65],"have":[66],"been":[67],"proposed":[68],"evaluated":[70],"past.":[73],"Generally,":[74],"they":[75],"assume":[76],"an":[78],"generator":[80],"given.":[82],"However,":[83],"this":[84,102],"often":[86],"not":[87],"case":[89],"practice":[91],"choices":[94],"can":[95],"lead":[96],"vastly":[98],"outcomes.":[100],"Therefore,":[101],"article":[103],"introduces":[104],"evaluates":[106],"various":[107],"parameterizations":[108],"generators,":[111],"including":[112],"pulse,":[113],"sinusoidal,":[114],"piecewise":[116],"interpolation":[120],"techniques.":[121],"These":[122],"generators":[124,146],"are":[125],"compared":[126],"their":[129,172],"performance":[130],"benchmark":[132],"examples,":[133],"well":[135],"coverage":[137],"measures":[138],"space-time":[141],"frequency":[143],"domains.":[144],"Input":[145],"facilitate":[147],"exploration":[149],"numerous":[151],"within":[155],"single":[157],"falsification":[158,170],"problem,":[159],"making":[160],"them":[161],"especially":[162],"valuable":[163],"industrial":[165],"practitioners":[166],"seeking":[167],"incorporate":[169],"into":[171],"daily":[173],"development":[174],"work.":[175]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}