{"id":"https://openalex.org/W4410582278","doi":"https://doi.org/10.23919/date64628.2025.10992993","title":"A Baseline Framework for the Qualification of LTL Specification Miners","display_name":"A Baseline Framework for the Qualification of LTL Specification Miners","publication_year":2025,"publication_date":"2025-03-31","ids":{"openalex":"https://openalex.org/W4410582278","doi":"https://doi.org/10.23919/date64628.2025.10992993"},"language":"en","primary_location":{"id":"doi:10.23919/date64628.2025.10992993","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date64628.2025.10992993","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Design, Automation & Test in Europe Conference (DATE)","raw_type":"proceedings-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/A5005661044","display_name":"Samuele Germiniani","orcid":"https://orcid.org/0000-0003-0794-8606"},"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":true,"raw_author_name":"Samuele Germiniani","raw_affiliation_strings":["University of Verona,Department of Engineering for Innovation Medicine"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Engineering for Innovation Medicine","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5098918280","display_name":"Daniele Nicoletti","orcid":null},"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":"Daniele Nicoletti","raw_affiliation_strings":["University of Verona,Department of Computer Science"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science","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"},"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":"Graziano Pravadelli","raw_affiliation_strings":["University of Verona,Department of Engineering for Innovation Medicine"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Engineering for Innovation Medicine","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5005661044"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11604623,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14276","display_name":"Power Systems and Technologies","score":0.7361999750137329,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T14276","display_name":"Power Systems and Technologies","score":0.7361999750137329,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/baseline","display_name":"Baseline (sea)","score":0.8237752914428711},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6051381826400757},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35264578461647034},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.06741330027580261}],"concepts":[{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.8237752914428711},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6051381826400757},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35264578461647034},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.06741330027580261},{"id":"https://openalex.org/C111368507","wikidata":"https://www.wikidata.org/wiki/Q43518","display_name":"Oceanography","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date64628.2025.10992993","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date64628.2025.10992993","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Design, Automation & Test in Europe Conference (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W2110908283","https://openalex.org/W2138869010","https://openalex.org/W2157639559","https://openalex.org/W2242407529","https://openalex.org/W2295399529","https://openalex.org/W2345350761","https://openalex.org/W2622072046","https://openalex.org/W2807161818","https://openalex.org/W2899714227","https://openalex.org/W2946741689","https://openalex.org/W2948332980","https://openalex.org/W2981952055","https://openalex.org/W3142765463","https://openalex.org/W4236927765","https://openalex.org/W4289921754","https://openalex.org/W4308899754","https://openalex.org/W4390905957","https://openalex.org/W4399108497","https://openalex.org/W6668953972","https://openalex.org/W6869159935"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2383111961","https://openalex.org/W2365952365","https://openalex.org/W2352448290","https://openalex.org/W2380820513","https://openalex.org/W2913146933","https://openalex.org/W2372385138","https://openalex.org/W4296359239"],"abstract_inverted_index":{"Over":[0],"the":[1,5,42,45,56,59,64,76,109,126,146,181,184,188,208],"past":[2],"few":[3],"decades,":[4],"verification":[6],"community":[7],"has":[8],"developed":[9],"several":[10],"specification":[11,85,209],"miners":[12,32,139],"as":[13,175],"an":[14,130],"alternative":[15],"to":[16,40,173,204],"manual":[17],"assertion":[18],"definition.":[19],"However,":[20],"assessing":[21,106],"their":[22],"effectiveness":[23],"remains":[24],"a":[25,70,102,153,176],"challenging":[26],"task.":[27],"Most":[28],"studies":[29],"evaluate":[30],"these":[31],"using":[33,117],"predefined":[34],"ranking":[35],"metrics,":[36],"which":[37,90,169],"often":[38],"fail":[39],"ensure":[41],"quality":[43,110],"of":[44,58,80,111,148,183,190],"inferred":[46],"specifications,":[47],"especially":[48],"when":[49],"no":[50],"fixed":[51],"ground":[52,178],"truth":[53,179],"exists":[54],"and":[55,78,95,107,120,136,206],"relevance":[57],"specifications":[60,112],"varies":[61],"depending":[62],"on":[63,162,166],"use":[65],"case.":[66],"This":[67],"paper":[68],"presents":[69],"comprehensive":[71],"framework":[72,100,127,192],"aimed":[73],"at":[74],"facilitating":[75],"evaluation":[77,150,182,211],"comparison":[79,157],"Linear":[81],"Temporal":[82],"Logic":[83],"(LTL)":[84],"miners.":[86,185],"Unlike":[87],"traditional":[88],"approaches,":[89],"struggle":[91],"with":[92,196],"subjective":[93],"analyses":[94,195],"complex":[96],"tool":[97],"configurations,":[98],"our":[99,191],"provides":[101],"structured":[103],"method":[104],"for":[105,133,180],"comparing":[108],"generated":[113,172],"by":[114],"multiple":[115],"sources,":[116],"both":[118],"semantic":[119],"syntactic":[121],"techniques.":[122],"To":[123],"achieve":[124],"this,":[125],"offers":[128],"users":[129],"easy-to-extend":[131],"environment":[132],"installing,":[134],"configuring,":[135],"running":[137],"third-party":[138],"via":[140],"Docker":[141],"containers.":[142],"Additionally\u2019":[143],"it":[144],"supports":[145],"inclusion":[147],"new":[149],"methods":[151],"through":[152,193],"modular":[154],"design.":[155],"Miner":[156],"can":[158],"be":[159],"based":[160],"either":[161],"user-defined":[163],"designs":[164],"or":[165],"synthetic":[167],"benchmarks,":[168],"are":[170],"automatically":[171],"serve":[174],"non-subjective":[177],"We":[186],"demonstrate":[187],"utility":[189],"comparative":[194],"four":[197],"well-known":[198],"LTL":[199],"miners,":[200],"illustrating":[201],"its":[202],"ability":[203],"standardize":[205],"enhance":[207],"mining":[210],"process.":[212]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}