{"id":"https://openalex.org/W4410583874","doi":"https://doi.org/10.1109/ddecs63720.2025.11006673","title":"A Survey on Automatic Assertion Miners","display_name":"A Survey on Automatic Assertion Miners","publication_year":2025,"publication_date":"2025-05-05","ids":{"openalex":"https://openalex.org/W4410583874","doi":"https://doi.org/10.1109/ddecs63720.2025.11006673"},"language":"en","primary_location":{"id":"doi:10.1109/ddecs63720.2025.11006673","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ddecs63720.2025.11006673","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-05085439","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020004399","display_name":"Mohammad Reza Heidari Iman","orcid":"https://orcid.org/0000-0003-2878-6124"},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Mohammad Reza Heidari Iman","raw_affiliation_strings":["Univ. Grenoble Alpes,CNRS, Institut National Polytechnique Grenoble Alpes, TIMA,Grenoble,France,38000"],"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes,CNRS, Institut National Polytechnique Grenoble Alpes, TIMA,Grenoble,France,38000","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5117630429","display_name":"Giorgio Di Natale","orcid":null},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Giorgio Di Natale","raw_affiliation_strings":["Univ. Grenoble Alpes,CNRS, Institut National Polytechnique Grenoble Alpes, TIMA,Grenoble,France,38000"],"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes,CNRS, Institut National Polytechnique Grenoble Alpes, TIMA,Grenoble,France,38000","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I899635006"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067330751","display_name":"Katell Morin-Allory","orcid":null},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Katell Morin-Allory","raw_affiliation_strings":["Univ. Grenoble Alpes,CNRS, Institut National Polytechnique Grenoble Alpes, TIMA,Grenoble,France,38000"],"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes,CNRS, Institut National Polytechnique Grenoble Alpes, TIMA,Grenoble,France,38000","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I899635006"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5020004399"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I899635006"],"apc_list":null,"apc_paid":null,"fwci":0.717,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67764736,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"55","last_page":"60"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12282","display_name":"Mineral Processing and Grinding","score":0.9790999889373779,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12282","display_name":"Mineral Processing and Grinding","score":0.9790999889373779,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical 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/T13065","display_name":"Mining Techniques and Economics","score":0.9702000021934509,"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"}},{"id":"https://openalex.org/T13341","display_name":"Belt Conveyor Systems Engineering","score":0.9296000003814697,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical 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/assertion","display_name":"Assertion","score":0.8540199995040894},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.612064003944397},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2875765264034271}],"concepts":[{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.8540199995040894},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.612064003944397},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2875765264034271}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ddecs63720.2025.11006673","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ddecs63720.2025.11006673","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-05085439v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05085439","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://cas.polito.it/DDECS2025/","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-05085439v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05085439","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://cas.polito.it/DDECS2025/","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W67485690","https://openalex.org/W1491807613","https://openalex.org/W1495096630","https://openalex.org/W1534688762","https://openalex.org/W1582385421","https://openalex.org/W1874846851","https://openalex.org/W1965917321","https://openalex.org/W1981151256","https://openalex.org/W2004314225","https://openalex.org/W2018493939","https://openalex.org/W2069309106","https://openalex.org/W2084011952","https://openalex.org/W2084069859","https://openalex.org/W2107629078","https://openalex.org/W2109924472","https://openalex.org/W2149807869","https://openalex.org/W2152864604","https://openalex.org/W2155343044","https://openalex.org/W2181495116","https://openalex.org/W2491385276","https://openalex.org/W2520961175","https://openalex.org/W2533078207","https://openalex.org/W2588440208","https://openalex.org/W2622925720","https://openalex.org/W2626078224","https://openalex.org/W2745235995","https://openalex.org/W2792237047","https://openalex.org/W2804324442","https://openalex.org/W2922245885","https://openalex.org/W2981646246","https://openalex.org/W3139323198","https://openalex.org/W3142765463","https://openalex.org/W3143043686","https://openalex.org/W3160444497","https://openalex.org/W3217491210","https://openalex.org/W4210725750","https://openalex.org/W4231857355","https://openalex.org/W4237302181","https://openalex.org/W4308654706","https://openalex.org/W4308899754","https://openalex.org/W4313496498","https://openalex.org/W4317611831","https://openalex.org/W4401568753","https://openalex.org/W6655369778","https://openalex.org/W6712628534","https://openalex.org/W6726479058"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1498103021","https://openalex.org/W4230849338","https://openalex.org/W4295166216","https://openalex.org/W2177044681","https://openalex.org/W1968067090","https://openalex.org/W2345942070","https://openalex.org/W2141398161"],"abstract_inverted_index":{"In":[0],"the":[1,14,48,58,72,89,110],"area":[2],"of":[3,76,94],"functional":[4],"verification,":[5],"AssertionBased":[6],"Verification":[7],"(ABV)":[8],"has":[9],"gained":[10],"significant":[11],"attention":[12],"for":[13],"advantages":[15],"it":[16],"provides":[17,61],"in":[18,57,87,109],"verifying":[19],"hardware":[20],"designs.":[21],"This":[22,43,67],"approach":[23],"relies":[24],"on":[25,46],"assertions":[26],"generated":[27],"by":[28],"automatic":[29,78,103],"assertion":[30,55,79,104],"miners.":[31],"These":[32],"miners":[33,56,80,105],"employ":[34],"various":[35],"techniques":[36],"and":[37,52,60,74,84,92],"methods":[38],"to":[39,70,81],"automatically":[40],"mine":[41],"assertions.":[42],"paper":[44],"focuses":[45],"studying":[47],"most":[49],"recent,":[50],"advanced,":[51],"widely":[53],"used":[54],"field":[59],"an":[62],"analytical":[63],"comparison":[64],"between":[65],"them.":[66],"study":[68],"aims":[69],"highlight":[71],"strengths":[73],"shortcomings":[75],"current":[77],"assist":[82],"researchers":[83],"verification":[85],"engineers":[86],"understanding":[88],"functionality,":[90],"strengths,":[91],"limitations":[93],"each":[95],"miner.":[96],"By":[97],"addressing":[98],"these":[99],"limitations,":[100],"more":[101],"advanced":[102],"can":[106],"be":[107],"developed":[108],"future.":[111]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-28T08:17:26.163206","created_date":"2025-05-22T00:00:00"}