{"id":"https://openalex.org/W4413344277","doi":"https://doi.org/10.1109/tc.2025.3600005","title":"A Novel Indirect Methodology Based on Execution Traces for Grading Functional Test Programs","display_name":"A Novel Indirect Methodology Based on Execution Traces for Grading Functional Test Programs","publication_year":2025,"publication_date":"2025-08-19","ids":{"openalex":"https://openalex.org/W4413344277","doi":"https://doi.org/10.1109/tc.2025.3600005"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2025.3600005","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2025.3600005","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"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 Computers","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/A5060364710","display_name":"Francesco Angione","orcid":"https://orcid.org/0000-0003-2978-1130"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Angione","raw_affiliation_strings":["Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy","Department of Control and Computer engineering, Politecnico di Torino, Turin, Italy"],"raw_orcid":"https://orcid.org/0000-0003-2978-1130","affiliations":[{"raw_affiliation_string":"Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Department of Control and Computer engineering, Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049430681","display_name":"Paolo Bernardi","orcid":"https://orcid.org/0000-0002-0985-9327"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paolo Bernardi","raw_affiliation_strings":["Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy","Department of Control and Computer engineering, Politecnico di Torino, Turin, Italy"],"raw_orcid":"https://orcid.org/0000-0002-0985-9327","affiliations":[{"raw_affiliation_string":"Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Department of Control and Computer engineering, Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032411827","display_name":"Andrea Calabrese","orcid":"https://orcid.org/0000-0002-8854-8171"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Calabrese","raw_affiliation_strings":["Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy","Department of Control and Computer engineering, Politecnico di Torino, Turin, Italy"],"raw_orcid":"https://orcid.org/0000-0002-8854-8171","affiliations":[{"raw_affiliation_string":"Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Department of Control and Computer engineering, Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032827585","display_name":"Lorenzo Cardone","orcid":"https://orcid.org/0009-0008-7553-4839"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Lorenzo Cardone","raw_affiliation_strings":["Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy","Department of Control and Computer engineering, Politecnico di Torino, Turin, Italy"],"raw_orcid":"https://orcid.org/0009-0008-7553-4839","affiliations":[{"raw_affiliation_string":"Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Department of Control and Computer engineering, Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023997315","display_name":"Stefano Quer","orcid":"https://orcid.org/0000-0001-6835-8277"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stefano Quer","raw_affiliation_strings":["Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy","Department of Control and Computer engineering, Politecnico di Torino, Turin, Italy"],"raw_orcid":"https://orcid.org/0000-0001-6835-8277","affiliations":[{"raw_affiliation_string":"Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Department of Control and Computer engineering, Politecnico di Torino, Turin, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009501718","display_name":"Claudia Bertani","orcid":null},"institutions":[{"id":"https://openalex.org/I4210154781","display_name":"STMicroelectronics (Italy)","ror":"https://ror.org/053bqv655","country_code":"IT","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210154781"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Claudia Bertani","raw_affiliation_strings":["STMicroelectronics, Agrate Brianza, Italy"],"raw_orcid":"https://orcid.org/0009-0000-0274-5346","affiliations":[{"raw_affiliation_string":"STMicroelectronics, Agrate Brianza, Italy","institution_ids":["https://openalex.org/I4210154781"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043908290","display_name":"Vincenzo Tancorre","orcid":"https://orcid.org/0000-0001-7959-0784"},"institutions":[{"id":"https://openalex.org/I4210154781","display_name":"STMicroelectronics (Italy)","ror":"https://ror.org/053bqv655","country_code":"IT","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210154781"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Vincenzo Tancorre","raw_affiliation_strings":["STMicroelectronics, Agrate Brianza, Italy"],"raw_orcid":"https://orcid.org/0000-0001-7959-0784","affiliations":[{"raw_affiliation_string":"STMicroelectronics, Agrate Brianza, Italy","institution_ids":["https://openalex.org/I4210154781"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.754,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.90280066,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":"74","issue":"11","first_page":"3582","last_page":"3595"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9975000023841858,"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/T12810","display_name":"Real-time simulation and control systems","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7659100294113159},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5595575571060181},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.49674493074417114},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4517764449119568},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32677873969078064}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7659100294113159},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5595575571060181},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.49674493074417114},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4517764449119568},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32677873969078064},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.2025.3600005","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2025.3600005","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"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 Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1645018187","https://openalex.org/W1823755974","https://openalex.org/W1974836518","https://openalex.org/W2018032749","https://openalex.org/W2098076619","https://openalex.org/W2106864957","https://openalex.org/W2111059199","https://openalex.org/W2137743612","https://openalex.org/W2162696040","https://openalex.org/W2166367975","https://openalex.org/W2549346635","https://openalex.org/W2790410977","https://openalex.org/W2806909220","https://openalex.org/W2902912874","https://openalex.org/W2999456258","https://openalex.org/W3026412660","https://openalex.org/W3093517074","https://openalex.org/W3114094139","https://openalex.org/W3114160048","https://openalex.org/W3171842021","https://openalex.org/W3183351902","https://openalex.org/W3188924112","https://openalex.org/W3217228640","https://openalex.org/W4200275019","https://openalex.org/W4248719367","https://openalex.org/W4250051479","https://openalex.org/W4283775106","https://openalex.org/W4285308465","https://openalex.org/W4312794515","https://openalex.org/W4320527381","https://openalex.org/W4379115648","https://openalex.org/W4380520367","https://openalex.org/W4386824957","https://openalex.org/W4388145442","https://openalex.org/W4399169302","https://openalex.org/W4404565111"],"related_works":["https://openalex.org/W3136890312","https://openalex.org/W2259894237","https://openalex.org/W4312309273","https://openalex.org/W2132325017","https://openalex.org/W1923258046","https://openalex.org/W1671914757","https://openalex.org/W593478746","https://openalex.org/W2100079361","https://openalex.org/W2968873290","https://openalex.org/W3016342375"],"abstract_inverted_index":{"Developing":[0],"functional":[1,12,39,67,132,150],"test":[2,13,40,68,133,145,151],"programs":[3,41,69,134,152],"for":[4],"hardware":[5],"testing":[6],"is":[7,16],"time-consuming":[8],"and":[9,71,75],"experience-wise.":[10],"A":[11],"program\u2019s":[14,89],"quality":[15,32,102],"usually":[17],"assessed":[18],"only":[19],"through":[20],"expensive":[21],"fault":[22,35,48,90,159],"simulation":[23,49,160],"campaigns":[24],"during":[25],"early":[26,52],"development.":[27],"This":[28],"paper":[29],"presents":[30],"indirect":[31],"measurements":[33],"of":[34,38,47,135],"detection":[36,91],"capabilities":[37],"to":[42,82,98,147],"reduce":[43],"the":[44,51,61,80,88,100,113,118],"total":[45],"cost":[46],"in":[50,112],"development":[53,156],"stages.":[54],"We":[55,78,93,121],"present":[56,94],"a":[57],"methodology":[58],"that":[59,86,116,141],"analyzes":[60],"instruction":[62],"trace":[63],"generated":[64],"by":[65,129],"running":[66,131],"on-chip":[70],"building":[72],"its":[73],"control":[74],"dataflow":[76],"graph.":[77],"use":[79],"graph":[81],"identify":[83],"potential":[84],"flaws":[85],"affect":[87,117],"capabilities.":[92],"different":[95,136],"graph-based":[96,119],"techniques":[97],"measure":[99],"programs\u2019":[101],"indirectly.":[103],"By":[104],"exploiting":[105],"standard":[106],"debugging":[107],"formats,":[108],"we":[109],"individuate":[110],"instructions":[111],"source":[114],"code":[115],"measurements.":[120],"perform":[122],"experiments":[123],"on":[124,158],"an":[125],"automotive":[126],"device":[127],"manufactured":[128],"STMicroelectronics,":[130],"natures.":[137],"Our":[138],"results":[139],"show":[140],"our":[142],"metric":[143],"allows":[144],"engineers":[146],"develop":[148],"better":[149],"without":[153],"basing":[154],"their":[155],"solely":[157],"campaigns.":[161]},"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"}