{"id":"https://openalex.org/W2549790574","doi":"https://doi.org/10.1145/3147451","title":"Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems","display_name":"Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems","publication_year":2017,"publication_date":"2017-12-12","ids":{"openalex":"https://openalex.org/W2549790574","doi":"https://doi.org/10.1145/3147451","mag":"2549790574"},"language":"en","primary_location":{"id":"doi:10.1145/3147451","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3147451","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"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 Embedded Computing 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/A5029218442","display_name":"Adel Dokhanchi","orcid":null},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Adel Dokhanchi","raw_affiliation_strings":["Arizona State University, Tempe, AZ, USA"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044251694","display_name":"Bardh Hoxha","orcid":"https://orcid.org/0000-0001-6255-7566"},"institutions":[{"id":"https://openalex.org/I110378019","display_name":"Southern Illinois University Carbondale","ror":"https://ror.org/049kefs16","country_code":"US","type":"education","lineage":["https://openalex.org/I110378019","https://openalex.org/I2801502357"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bardh Hoxha","raw_affiliation_strings":["Southern Illinois University, Carbondale, IL, USA"],"affiliations":[{"raw_affiliation_string":"Southern Illinois University, Carbondale, IL, USA","institution_ids":["https://openalex.org/I110378019"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058732387","display_name":"Georgios Fainekos","orcid":"https://orcid.org/0000-0002-0456-2129"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Georgios Fainekos","raw_affiliation_strings":["Arizona State University, Tempe, AZ, USA"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, USA","institution_ids":["https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5029218442"],"corresponding_institution_ids":["https://openalex.org/I55732556"],"apc_list":null,"apc_paid":null,"fwci":3.1796,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.92654718,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"17","issue":"2","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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/debugging","display_name":"Debugging","score":0.9350343942642212},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8622279167175293},{"id":"https://openalex.org/keywords/algorithmic-program-debugging","display_name":"Algorithmic program debugging","score":0.5815795063972473},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5811034440994263},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.47166287899017334},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4590967297554016},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42810988426208496},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4183601438999176}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9350343942642212},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8622279167175293},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.5815795063972473},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5811034440994263},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.47166287899017334},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4590967297554016},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42810988426208496},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4183601438999176}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3147451","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3147451","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"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 Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G446977253","display_name":null,"funder_award_id":"1361926","funder_id":"https://openalex.org/F4320337396","funder_display_name":"Division of Industrial Innovation and Partnerships"}],"funders":[{"id":"https://openalex.org/F4320337396","display_name":"Division of Industrial Innovation and Partnerships","ror":"https://ror.org/03xyg3m20"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W21033097","https://openalex.org/W41344992","https://openalex.org/W774034202","https://openalex.org/W1497826971","https://openalex.org/W1497843565","https://openalex.org/W1544649343","https://openalex.org/W1547304883","https://openalex.org/W1595126969","https://openalex.org/W1603488308","https://openalex.org/W1762537806","https://openalex.org/W1977166502","https://openalex.org/W1983067635","https://openalex.org/W1984936841","https://openalex.org/W1992777946","https://openalex.org/W2004463571","https://openalex.org/W2019065032","https://openalex.org/W2019145653","https://openalex.org/W2019261678","https://openalex.org/W2026629052","https://openalex.org/W2032189196","https://openalex.org/W2032602169","https://openalex.org/W2034478670","https://openalex.org/W2049696538","https://openalex.org/W2052695231","https://openalex.org/W2082212664","https://openalex.org/W2086023301","https://openalex.org/W2118962824","https://openalex.org/W2120702165","https://openalex.org/W2128158689","https://openalex.org/W2128909186","https://openalex.org/W2132055325","https://openalex.org/W2138362538","https://openalex.org/W2153024173","https://openalex.org/W2153803621","https://openalex.org/W2155020620","https://openalex.org/W2159958244","https://openalex.org/W2172184261","https://openalex.org/W2187020956","https://openalex.org/W2198629034","https://openalex.org/W2221585980","https://openalex.org/W2568050379","https://openalex.org/W2571592482","https://openalex.org/W2782623022","https://openalex.org/W2913459036","https://openalex.org/W3098425142","https://openalex.org/W3148757998","https://openalex.org/W3193531217","https://openalex.org/W4233832762","https://openalex.org/W4392180903"],"related_works":["https://openalex.org/W2119199043","https://openalex.org/W2396596882","https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":{"A":[0],"framework":[1,64,91],"for":[2,10,33,49],"the":[3,42,50,89],"elicitation":[4,16],"and":[5,87],"debugging":[6,26,63,90],"of":[7,17,52,70],"formal":[8,71],"specifications":[9,18,39,72],"Cyber-Physical":[11],"Systems":[12],"is":[13,19,65],"presented.":[14,29],"The":[15,30,44,61,78],"handled":[20],"through":[21,74],"a":[22,68,75],"graphical":[23],"interface.":[24],"Two":[25],"algorithms":[27],"are":[28,85],"first":[31],"checks":[32],"erroneous":[34],"or":[35],"incomplete":[36],"temporal":[37],"logic":[38],"without":[40],"considering":[41],"system.":[43],"second":[45],"can":[46,92],"be":[47],"utilized":[48],"analysis":[51],"reactive":[53],"requirements":[54],"with":[55],"respect":[56],"to":[57],"system":[58],"test":[59],"traces.":[60],"specification":[62,96],"applied":[66],"on":[67],"number":[69],"collected":[73],"user":[76,79],"study.":[77],"study":[80],"establishes":[81],"that":[82,88],"requirement":[83],"errors":[84],"common":[86],"resolve":[93],"many":[94],"insidious":[95],"errors.":[97]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}