{"id":"https://openalex.org/W4406698759","doi":"https://doi.org/10.1145/3714467","title":"Signal Feature Coverage and Testing for CPS Dataflow Models","display_name":"Signal Feature Coverage and Testing for CPS Dataflow Models","publication_year":2025,"publication_date":"2025-01-22","ids":{"openalex":"https://openalex.org/W4406698759","doi":"https://doi.org/10.1145/3714467"},"language":"en","primary_location":{"id":"doi:10.1145/3714467","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3714467","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/10281/591661","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050836932","display_name":"Ezio Bartocci","orcid":"https://orcid.org/0000-0002-8004-6601"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Ezio Bartocci","raw_affiliation_strings":["TU Wien, Vienna, Austria","TU Wien, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036120394","display_name":"Leonardo Mariani","orcid":"https://orcid.org/0000-0001-9527-7042"},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Leonardo Mariani","raw_affiliation_strings":["University of Milano-Bicocca, Milan, Italy","University of Milano-Bicocca, Italy"],"affiliations":[{"raw_affiliation_string":"University of Milano-Bicocca, Milan, Italy","institution_ids":["https://openalex.org/I66752286"]},{"raw_affiliation_string":"University of Milano-Bicocca, Italy","institution_ids":["https://openalex.org/I66752286"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052399473","display_name":"Dejan Ni\u010dkovi\u0107","orcid":"https://orcid.org/0000-0001-5468-0396"},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Dejan Nickovic","raw_affiliation_strings":["AIT Austrian Institute of Technology, Vienna, Austria","AIT Austrian Institute of Technology, Austria"],"affiliations":[{"raw_affiliation_string":"AIT Austrian Institute of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I132118926"]},{"raw_affiliation_string":"AIT Austrian Institute of Technology, Austria","institution_ids":["https://openalex.org/I132118926"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069729899","display_name":"Drishti Yadav","orcid":"https://orcid.org/0000-0002-2974-0323"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Drishti Yadav","raw_affiliation_strings":["TU Wien, Vienna, Austria","TU Wien, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5050836932"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":4.8122,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.92121648,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"34","issue":"7","first_page":"1","last_page":"37"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9959999918937683,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9958999752998352,"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/dataflow","display_name":"Dataflow","score":0.8598651885986328},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8580396175384521},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.575579822063446},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.4190021753311157},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.34077244997024536},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23446178436279297}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.8598651885986328},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8580396175384521},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.575579822063446},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.4190021753311157},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.34077244997024536},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23446178436279297},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3714467","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3714467","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:boa.unimib.it:10281/591661","is_oa":true,"landing_page_url":"https://hdl.handle.net/10281/591661","pdf_url":null,"source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:boa.unimib.it:10281/591661","is_oa":true,"landing_page_url":"https://hdl.handle.net/10281/591661","pdf_url":null,"source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322839","display_name":"Technische Universit\u00e4t Wien","ror":"https://ror.org/04d836q62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W618136976","https://openalex.org/W753364901","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1590335221","https://openalex.org/W1971650562","https://openalex.org/W1976727279","https://openalex.org/W1991662538","https://openalex.org/W2036657965","https://openalex.org/W2049399166","https://openalex.org/W2053553342","https://openalex.org/W2098015713","https://openalex.org/W2101931205","https://openalex.org/W2106072155","https://openalex.org/W2132085292","https://openalex.org/W2133350402","https://openalex.org/W2135937266","https://openalex.org/W2152195021","https://openalex.org/W2165723276","https://openalex.org/W2169063148","https://openalex.org/W2169791062","https://openalex.org/W2267933413","https://openalex.org/W2417128866","https://openalex.org/W2470569489","https://openalex.org/W2571592482","https://openalex.org/W2735260746","https://openalex.org/W2757813108","https://openalex.org/W2776758630","https://openalex.org/W2782623022","https://openalex.org/W2788220863","https://openalex.org/W2791339912","https://openalex.org/W2963231286","https://openalex.org/W2966980041","https://openalex.org/W2967844381","https://openalex.org/W2973944767","https://openalex.org/W2989382520","https://openalex.org/W3004492881","https://openalex.org/W3020950452","https://openalex.org/W3090039550","https://openalex.org/W3090965641","https://openalex.org/W3092311360","https://openalex.org/W3095278650","https://openalex.org/W3096990961","https://openalex.org/W3108219381","https://openalex.org/W3113301275","https://openalex.org/W3115878638","https://openalex.org/W3117585359","https://openalex.org/W3119924191","https://openalex.org/W3138660218","https://openalex.org/W3197359847","https://openalex.org/W3205889124","https://openalex.org/W4200324797","https://openalex.org/W4226159225","https://openalex.org/W4252356254","https://openalex.org/W4290785394","https://openalex.org/W4293057250","https://openalex.org/W4308643035","https://openalex.org/W4311273067","https://openalex.org/W4312281865","https://openalex.org/W4376638638","https://openalex.org/W4378418586","https://openalex.org/W4381551323","https://openalex.org/W4387735129"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2293118914","https://openalex.org/W2998381397","https://openalex.org/W4236419692","https://openalex.org/W2171015181","https://openalex.org/W3167919718","https://openalex.org/W4251718783","https://openalex.org/W1998888015"],"abstract_inverted_index":{"Design":[0,132],"of":[1,11,29,81,94],"cyber-physical":[2],"systems":[3],"(CPS)":[4],"typically":[5],"involves":[6],"dataflow":[7,12,50,70],"modeling.":[8],"The":[9,134],"structure":[10],"models":[13,104],"differs":[14],"from":[15],"the":[16,27,77,86,92,143],"traditional":[17],"software,":[18],"making":[19],"standard":[20],"coverage":[21,40,44,56,88],"metrics":[22],"not":[23],"appropriate":[24],"for":[25,46],"measuring":[26],"thoroughness":[28],"testing.":[30],"To":[31],"address":[32],"this":[33,35],"limitation,":[34],"article":[36],"proposes":[37],"signal":[38,54,59],"feature":[39,55],"as":[41],"a":[42,63,68],"new":[43],"metric":[45],"systematically":[47],"testing":[48,64,116,128,140],"CPS":[49],"models.":[51],"We":[52,61,90,112],"derive":[53],"by":[57,97],"leveraging":[58],"features.":[60],"developed":[62],"framework":[65],"in":[66],"Simulink,":[67],"popular":[69],"modeling":[71],"and":[72,79,127],"simulation":[73],"environment,":[74],"that":[75,137],"automates":[76],"generation":[78],"execution":[80],"test":[82],"cases":[83],"based":[84],"on":[85,101],"defined":[87],"metric.":[89],"evaluated":[91],"effectiveness":[93],"our":[95,114,138],"approach":[96,117,141],"carrying":[98],"out":[99],"experiments":[100],"five":[102],"Simulink":[103,131],"tested":[105],"against":[106],"ten":[107],"Signal":[108],"Temporal":[109],"Logic":[110],"specifications.":[111],"compared":[113],"coverage-based":[115,139],"to":[118],"adaptive":[119],"random":[120],"testing,":[121,123],"falsification":[122],"output":[124],"diversity-based":[125],"approaches,":[126],"using":[129],"MathWorks\u2019":[130],"Verifier.":[133],"results":[135],"demonstrate":[136],"outperforms":[142],"conventional":[144],"techniques":[145],"regarding":[146],"fault":[147],"detection":[148],"capability.":[149]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}