{"id":"https://openalex.org/W4411523185","doi":"https://doi.org/10.1145/3728956","title":"NADA: Neural Acceptance-Driven Approximate Specification Mining","display_name":"NADA: Neural Acceptance-Driven Approximate Specification Mining","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4411523185","doi":"https://doi.org/10.1145/3728956"},"language":"en","primary_location":{"id":"doi:10.1145/3728956","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3728956","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"Proceedings of the ACM on Software Engineering","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/A5051273658","display_name":"Weilin Luo","orcid":"https://orcid.org/0000-0002-3733-9361"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Weilin Luo","raw_affiliation_strings":["Sun Yat-sen University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-3733-9361","affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104168433","display_name":"Tingchen Han","orcid":null},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tingchen Han","raw_affiliation_strings":["Sun Yat-sen University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0009-0004-7926-5956","affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089228817","display_name":"Junming Qiu","orcid":"https://orcid.org/0000-0002-8315-9337"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junming Qiu","raw_affiliation_strings":["Sun Yat-sen University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-8315-9337","affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027600524","display_name":"Hai Wan","orcid":"https://orcid.org/0000-0001-5357-9130"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hai Wan","raw_affiliation_strings":["Sun Yat-sen University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0001-5357-9130","affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013530533","display_name":"Jianfeng Du","orcid":"https://orcid.org/0000-0002-7541-1387"},"institutions":[{"id":"https://openalex.org/I186272606","display_name":"Guangdong University of Foreign Studies","ror":"https://ror.org/00fhc9y79","country_code":"CN","type":"education","lineage":["https://openalex.org/I186272606"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianfeng Du","raw_affiliation_strings":["Guangdong University of Foreign Studies, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0002-7541-1387","affiliations":[{"raw_affiliation_string":"Guangdong University of Foreign Studies, Shenzhen, China","institution_ids":["https://openalex.org/I186272606"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Bo Peng","orcid":"https://orcid.org/0000-0003-3468-9507"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bo Peng","raw_affiliation_strings":["Sun Yat-sen University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-3468-9507","affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010550946","display_name":"Guohui Xiao","orcid":"https://orcid.org/0000-0002-5115-4769"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guohui Xiao","raw_affiliation_strings":["Southeast University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-5115-4769","affiliations":[{"raw_affiliation_string":"Southeast University, Nanjing, China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075236921","display_name":"Yanan Liu","orcid":"https://orcid.org/0000-0001-7357-1793"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanan Liu","raw_affiliation_strings":["Sun Yat-sen University, Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0001-7357-1793","affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5051273658"],"corresponding_institution_ids":["https://openalex.org/I157773358"],"apc_list":null,"apc_paid":null,"fwci":2.1733,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.89026286,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"2","issue":"ISSTA","first_page":"1795","last_page":"1817"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.998199999332428,"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/T10260","display_name":"Software Engineering Research","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.7660591006278992},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6581826210021973},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6174803972244263},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.5446422100067139},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.5318491458892822},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.49825286865234375},{"id":"https://openalex.org/keywords/gradient-descent","display_name":"Gradient descent","score":0.4760570228099823},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.41949212551116943},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34801799058914185}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7660591006278992},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6581826210021973},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6174803972244263},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.5446422100067139},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.5318491458892822},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.49825286865234375},{"id":"https://openalex.org/C153258448","wikidata":"https://www.wikidata.org/wiki/Q1199743","display_name":"Gradient descent","level":3,"score":0.4760570228099823},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.41949212551116943},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34801799058914185},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3728956","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3728956","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G220585431","display_name":null,"funder_award_id":"2023A1515011470, 2025A1515011639","funder_id":"https://openalex.org/F4320337111","funder_display_name":"Basic and Applied Basic Research Foundation of Guangdong Province"},{"id":"https://openalex.org/G5185974960","display_name":null,"funder_award_id":"62276284, 61976232, 61876204, 51978675","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320337111","display_name":"Basic and Applied Basic Research Foundation of Guangdong Province","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":71,"referenced_works":["https://openalex.org/W179908295","https://openalex.org/W277443901","https://openalex.org/W1538240903","https://openalex.org/W1559171143","https://openalex.org/W1790612874","https://openalex.org/W1969005071","https://openalex.org/W1984666354","https://openalex.org/W1989445634","https://openalex.org/W1996832037","https://openalex.org/W2005588250","https://openalex.org/W2010895736","https://openalex.org/W2017603160","https://openalex.org/W2023808162","https://openalex.org/W2036740020","https://openalex.org/W2044887587","https://openalex.org/W2045002320","https://openalex.org/W2053352009","https://openalex.org/W2053987251","https://openalex.org/W2074001172","https://openalex.org/W2074010768","https://openalex.org/W2076343783","https://openalex.org/W2124081952","https://openalex.org/W2126834265","https://openalex.org/W2131109383","https://openalex.org/W2131954495","https://openalex.org/W2136656815","https://openalex.org/W2141811956","https://openalex.org/W2142148616","https://openalex.org/W2145020764","https://openalex.org/W2150990363","https://openalex.org/W2151674625","https://openalex.org/W2154392226","https://openalex.org/W2163022590","https://openalex.org/W2167653948","https://openalex.org/W2170747189","https://openalex.org/W2242407529","https://openalex.org/W2248392824","https://openalex.org/W2295399529","https://openalex.org/W2357927175","https://openalex.org/W2403966573","https://openalex.org/W2494400401","https://openalex.org/W2770406504","https://openalex.org/W2771330107","https://openalex.org/W2793679781","https://openalex.org/W2807161818","https://openalex.org/W2866060364","https://openalex.org/W2899279326","https://openalex.org/W2912788251","https://openalex.org/W2919086624","https://openalex.org/W2922276053","https://openalex.org/W2997095483","https://openalex.org/W2999799926","https://openalex.org/W3082779413","https://openalex.org/W3120742815","https://openalex.org/W3176447062","https://openalex.org/W3177420896","https://openalex.org/W3208221999","https://openalex.org/W3216270495","https://openalex.org/W4283212640","https://openalex.org/W4283800827","https://openalex.org/W4289552533","https://openalex.org/W4293077733","https://openalex.org/W4382239844","https://openalex.org/W4389163131","https://openalex.org/W4390079566","https://openalex.org/W4393156478","https://openalex.org/W4400223001","https://openalex.org/W4400995742","https://openalex.org/W4402683836","https://openalex.org/W6754967125","https://openalex.org/W6759977985"],"related_works":["https://openalex.org/W2055243143","https://openalex.org/W1986418932","https://openalex.org/W2357796999","https://openalex.org/W4321636575","https://openalex.org/W2741131631","https://openalex.org/W2045526782","https://openalex.org/W2156919374","https://openalex.org/W1483472507","https://openalex.org/W1984019423","https://openalex.org/W1998698147"],"abstract_inverted_index":{"It":[0],"is":[1,95,117,162,207],"hard":[2],"to":[3,69,88,96,105,119,129,146],"mine":[4],"high-quality":[5],"finite-state":[6],"automata":[7],"(FSAs)":[8],"only":[9],"from":[10,53,64],"desired":[11],"software":[12,33],"behaviors,":[13,34],"i.e.,":[14,35],"positive":[15,54,154],"examples,":[16],"because":[17],"of":[18,31,169,174,196],"a":[19,29,98,127,142,165],"search":[20,77,82,147,172,181],"space":[21,173],"explosion":[22],"and":[23,55,108,156,176],"an":[24,75,106,133,177],"overgeneralization":[25,41],"problem":[26,47],"induced":[27],"by":[28,152],"lack":[30],"undesired":[32],"negative":[36,56,66,159],"examples.":[37,160],"To":[38,73],"tackle":[39],"the":[40,46,61,80,170,194,211],"problem,":[42],"we":[43,84],"suggest":[44],"modeling":[45],"as":[48],"searching":[49],"for":[50,148],"approximate":[51,149],"FSAs":[52,150,175,198],"examples":[57,67,155],"with":[58,188],"noise,":[59],"where":[60],"noise":[62],"originates":[63],"synthetic":[65,158],"used":[68],"reject":[70],"overgeneralized":[71],"results.":[72],"obtain":[74],"effective":[76],"bias":[78],"in":[79],"exploding":[81],"space,":[83],"bridge":[85],"FSA":[86,121,134],"acceptance":[87,125],"neural":[89,99,110,115,124,143],"network":[90,100],"inference.":[91],"Our":[92],"key":[93],"contribution":[94],"design":[97],"whose":[101],"parameter":[102],"assignment":[103],"corresponds":[104],"FSA,":[107],"its":[109],"inference":[111],"process,":[112],"named":[113],"after":[114],"acceptance,":[116],"able":[118],"simulate":[120],"acceptance.":[122],"The":[123],"provides":[126],"way":[128],"quantify":[130],"how":[131],"well":[132],"fits":[135],"noisy":[136],"data":[137],"efficiently.":[138],"We":[139],"propose":[140],"NADA,":[141],"acceptance-driven":[144],"approach,":[145],"guided":[151],"accepting":[153],"rejecting":[157],"NADA":[161,191,206],"based":[163],"on":[164],"proper":[166],"continuous":[167],"relaxation":[168],"discrete":[171],"efficient":[178],"gradient":[179],"descent-based":[180],"algorithm.":[182],"Experimental":[183],"results":[184],"demonstrate":[185],"that,":[186],"compared":[187],"state-of-the-art":[189],"approaches,":[190],"significantly":[192],"improves":[193,201],"quality":[195],"mined":[197],"(on":[199],"average":[200],"41.63%":[202],"F1":[203],"score).":[204],"Besides,":[205],"19.8X":[208],"faster":[209],"than":[210],"approach":[212],"mining":[213],"sub-high-quality":[214],"FSAs.":[215]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}