{"id":"https://openalex.org/W3100726446","doi":"https://doi.org/10.1145/3368089.3409733","title":"DENAS: automated rule generation by knowledge extraction from neural networks","display_name":"DENAS: automated rule generation by knowledge extraction from neural networks","publication_year":2020,"publication_date":"2020-11-08","ids":{"openalex":"https://openalex.org/W3100726446","doi":"https://doi.org/10.1145/3368089.3409733","mag":"3100726446"},"language":"en","primary_location":{"id":"doi:10.1145/3368089.3409733","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3368089.3409733","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","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/A5029676112","display_name":"Simin Chen","orcid":"https://orcid.org/0009-0006-2807-0109"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Simin Chen","raw_affiliation_strings":["University of Texas at Dallas, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076059064","display_name":"Soroush Bateni","orcid":"https://orcid.org/0000-0002-5448-3664"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Soroush Bateni","raw_affiliation_strings":["University of Texas at Dallas, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016730258","display_name":"Sampath Grandhi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sampath Grandhi","raw_affiliation_strings":["University of Texas at Dallas, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100755100","display_name":"Xiaodi Li","orcid":"https://orcid.org/0000-0002-3675-3448"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiaodi Li","raw_affiliation_strings":["University of Texas at Dallas, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103095318","display_name":"Cong Liu","orcid":"https://orcid.org/0000-0001-5985-0876"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cong Liu","raw_affiliation_strings":["University of Texas at Dallas, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101883594","display_name":"Wei Yang","orcid":"https://orcid.org/0000-0002-1205-0924"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wei Yang","raw_affiliation_strings":["University of Texas at Dallas, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5029676112"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.7302,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.95538809,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"813","last_page":"825"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8091384768486023},{"id":"https://openalex.org/keywords/representativeness-heuristic","display_name":"Representativeness heuristic","score":0.656700849533081},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5789427161216736},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.570507287979126},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5149758458137512},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5045875310897827},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5026171207427979},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.49840259552001953},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4977743923664093},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.4699409604072571},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.45215415954589844},{"id":"https://openalex.org/keywords/deep-neural-networks","display_name":"Deep neural networks","score":0.44047629833221436},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.4200389087200165}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8091384768486023},{"id":"https://openalex.org/C37381756","wikidata":"https://www.wikidata.org/wiki/Q20203288","display_name":"Representativeness heuristic","level":2,"score":0.656700849533081},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5789427161216736},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.570507287979126},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5149758458137512},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5045875310897827},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5026171207427979},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.49840259552001953},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4977743923664093},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.4699409604072571},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.45215415954589844},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.44047629833221436},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.4200389087200165},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3368089.3409733","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3368089.3409733","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7300000190734863}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W2001445580","https://openalex.org/W2007857904","https://openalex.org/W2009033060","https://openalex.org/W2032220291","https://openalex.org/W2079280466","https://openalex.org/W2095795470","https://openalex.org/W2407313496","https://openalex.org/W2561675875","https://openalex.org/W2603091935","https://openalex.org/W2774510177","https://openalex.org/W2996061341","https://openalex.org/W3000499753","https://openalex.org/W3177525997","https://openalex.org/W4231290138","https://openalex.org/W4253813365"],"related_works":["https://openalex.org/W3159631231","https://openalex.org/W4306248409","https://openalex.org/W4211213551","https://openalex.org/W2332151799","https://openalex.org/W2062728131","https://openalex.org/W1583422155","https://openalex.org/W1649619740","https://openalex.org/W3213252596","https://openalex.org/W1534006406","https://openalex.org/W2165071883"],"abstract_inverted_index":{"Deep":[0],"neural":[1],"networks":[2],"(DNNs)":[3],"have":[4],"been":[5],"widely":[6],"applied":[7],"in":[8],"the":[9,51,60,89,97,105],"software":[10],"development":[11],"process":[12,63],"to":[13,39,49,100,109,111],"automatically":[14],"learn":[15],"patterns":[16],"from":[17,67],"massive":[18],"data.":[19],"However,":[20],"many":[21],"applications":[22],"still":[23],"make":[24],"decisions":[25],"based":[26],"on":[27,77],"rules":[28,119],"that":[29],"are":[30],"manually":[31],"crafted":[32],"and":[33,55,123],"verified":[34],"by":[35,58],"domain":[36],"experts":[37],"due":[38],"safety":[40],"or":[41,82,107],"security":[42],"concerns.":[43],"In":[44],"this":[45],"paper,":[46],"we":[47],"aim":[48],"close":[50],"gap":[52],"between":[53],"DNNs":[54,79,106],"rule-based":[56],"systems":[57],"automating":[59],"rule":[61],"generation":[62],"via":[64],"extracting":[65],"knowledge":[66],"well-trained":[68],"DNNs.":[69],"Existing":[70],"techniques":[71],"with":[72],"similar":[73],"purposes":[74],"either":[75,95],"rely":[76],"specific":[78],"input":[80,90],"instances":[81],"use":[83],"inherently":[84],"unstable":[85],"random":[86],"sampling":[87],"of":[88,104,115],"space.":[91],"Therefore,":[92],"these":[93],"approaches":[94],"limit":[96],"exploration":[98],"area":[99],"a":[101,112],"local":[102],"decision-space":[103],"fail":[108],"converge":[110],"consistent":[113],"set":[114],"rules.":[116],"The":[117],"resulting":[118],"thus":[120],"lack":[121],"representativeness":[122],"stability.":[124]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":2}],"updated_date":"2026-04-18T07:56:08.524223","created_date":"2025-10-10T00:00:00"}
