{"id":"https://openalex.org/W4249914973","doi":"https://doi.org/10.7873/date.2015.0110","title":"Automatic Extraction of Assertions from Execution Traces of Behavioural Models","display_name":"Automatic Extraction of Assertions from Execution Traces of Behavioural Models","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W4249914973","doi":"https://doi.org/10.7873/date.2015.0110"},"language":"en","primary_location":{"id":"doi:10.7873/date.2015.0110","doi":"https://doi.org/10.7873/date.2015.0110","is_oa":false,"landing_page_url":"https://doi.org/10.7873/date.2015.0110","pdf_url":null,"source":{"id":"https://openalex.org/S4306418181","display_name":"Design, Automation, and Test in Europe","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5005931685","display_name":"Alessandro Danese","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Danese","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042603430","display_name":"Tara Ghasempouri","orcid":"https://orcid.org/0000-0001-8021-9368","observed_orcids":["https://orcid.org/0000-0001-8021-9368"]},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Tara Ghasempouri","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025088388","display_name":"Graziano Pravadelli","orcid":"https://orcid.org/0000-0002-7833-1673","observed_orcids":["https://orcid.org/0000-0002-7833-1673"]},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]},{"id":"https://openalex.org/I4210136015","display_name":"EDALab (Italy)","ror":"https://ror.org/041ad9g51","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210136015"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Graziano Pravadelli","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy","EDALab s.r.l., Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"EDALab s.r.l., Italy","institution_ids":["https://openalex.org/I4210136015"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.6106,"has_fulltext":false,"cited_by_count":49,"citation_normalized_percentile":{"value":0.94371746,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"67","last_page":"72"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.41920000314712524,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.41920000314712524,"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.3303000032901764,"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/T10142","display_name":"Formal Methods in Verification","score":0.23440000414848328,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/specification-mining","display_name":"specification mining","score":0.8230000138282776},{"id":"https://openalex.org/keywords/execution-traces","display_name":"execution traces","score":0.765999972820282},{"id":"https://openalex.org/keywords/behavioural-models","display_name":"behavioural models","score":0.9879999756813049},{"id":"https://openalex.org/keywords/hardware-design","display_name":"hardware design","score":0.6809999942779541},{"id":"https://openalex.org/keywords/temporal-assertions","display_name":"temporal assertions","score":0.8600000143051147},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"logic synthesis","score":0.43700000643730164},{"id":"https://openalex.org/keywords/hardware-verification","display_name":"hardware verification","score":0.4399999976158142},{"id":"https://openalex.org/keywords/static-and-dynamic-analysis","display_name":"static and dynamic analysis","score":0.6430000066757202}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7676167488098145},{"id":"https://openalex.org/C4725764","wikidata":"https://www.wikidata.org/wiki/Q844704","display_name":"Extraction (chemistry)","level":2,"score":0.555863082408905},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42761683464050293},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3472476303577423},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3436877727508545},{"id":"https://openalex.org/C43617362","wikidata":"https://www.wikidata.org/wiki/Q170050","display_name":"Chromatography","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.7873/date.2015.0110","doi":"https://doi.org/10.7873/date.2015.0110","is_oa":false,"landing_page_url":"https://doi.org/10.7873/date.2015.0110","pdf_url":null,"source":{"id":"https://openalex.org/S4306418181","display_name":"Design, Automation, and Test in Europe","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7056191056","https://openalex.org/W2006955715","https://openalex.org/W2986580860","https://openalex.org/W3140799942","https://openalex.org/W3036127829","https://openalex.org/W1597385171","https://openalex.org/W2802291389","https://openalex.org/W2094753344","https://openalex.org/W2157304049","https://openalex.org/W2168238416"],"abstract_inverted_index":{"Several":[0],"approaches":[1,29],"exist":[2],"for":[3,72,108],"specification":[4],"mining":[5,69],"of":[6,10,22,43,63,70,76,111,117,124],"hardware":[7],"designs.":[8],"Most":[9],"them":[11],"work":[12,30],"at":[13,31],"RTL":[14],"and":[15,90,126],"they":[16],"extract":[17],"assertions":[18,38,53,71,113],"in":[19,101],"the":[20,41,44,55,67,74,102],"form":[21],"temporal":[23,112],"relations":[24],"between":[25],"Boolean":[26],"variables.":[27],"Other":[28],"system":[32],"level":[33],"(e.g.,":[34,85],"TLM)":[35],"to":[36,66,99],"mine":[37],"that":[39],"specify":[40],"behaviour":[42],"communication":[45],"protocol.":[46],"However,":[47],"these":[48],"techniques":[49],"do":[50],"not":[51],"generate":[52],"addressing":[54],"design":[56],"functionality.":[57],"Thus,":[58],"there":[59],"is":[60,97],"a":[61,106,122],"lack":[62],"studies":[64],"related":[65],"automatic":[68,109],"capturing":[73],"functionality":[75],"behavioural":[77,118],"models,":[78],"where":[79],"logic":[80],"expressions":[81],"among":[82],"more":[83],"abstracted":[84],"numeric)":[86],"variables":[87],"than":[88],"bits":[89],"bit":[91],"vectors":[92],"are":[93],"necessary.":[94],"This":[95],"paper":[96],"intended":[98],"fill":[100],"gap,":[103],"by":[104,120],"proposing":[105],"tool":[107],"extraction":[110],"from":[114],"execution":[115],"traces":[116],"models":[119],"adopting":[121],"mix":[123],"static":[125],"dynamic":[127],"techniques.":[128]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":4}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2022-05-12T00:00:00"}