{"id":"https://openalex.org/W2946530807","doi":"https://doi.org/10.23919/date.2019.8715042","title":"On Functional Test Generation for Deep Neural Network IPs","display_name":"On Functional Test Generation for Deep Neural Network IPs","publication_year":2019,"publication_date":"2019-03-01","ids":{"openalex":"https://openalex.org/W2946530807","doi":"https://doi.org/10.23919/date.2019.8715042","mag":"2946530807"},"language":"en","primary_location":{"id":"doi:10.23919/date.2019.8715042","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2019.8715042","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Design, Automation & Test in Europe Conference & Exhibition (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/A5052233895","display_name":"Bo Luo","orcid":"https://orcid.org/0000-0001-8196-2436"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Bo Luo","raw_affiliation_strings":["Department of Computer Science & Engineering, The Chinese University of Hong Kong, Shatin, N.T., Hong Kong"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, The Chinese University of Hong Kong, Shatin, N.T., Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100711787","display_name":"Yu Li","orcid":"https://orcid.org/0000-0002-5693-5353"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Li","raw_affiliation_strings":["Department of Computer Science & Engineering, The Chinese University of Hong Kong, Shatin, N.T., Hong Kong"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, The Chinese University of Hong Kong, Shatin, N.T., Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005629203","display_name":"Lingxiao Wei","orcid":null},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lingxiao Wei","raw_affiliation_strings":["Department of Computer Science & Engineering, The Chinese University of Hong Kong, Shatin, N.T., Hong Kong"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, The Chinese University of Hong Kong, Shatin, N.T., Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088556682","display_name":"Qiang Xu","orcid":"https://orcid.org/0000-0001-6747-126X"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiang Xu","raw_affiliation_strings":["Department of Computer Science & Engineering, The Chinese University of Hong Kong, Shatin, N.T., Hong Kong"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, The Chinese University of Hong Kong, Shatin, N.T., Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5052233895"],"corresponding_institution_ids":["https://openalex.org/I177725633"],"apc_list":null,"apc_paid":null,"fwci":0.4336,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.71007289,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1010","last_page":"1015"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9998999834060669,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9998999834060669,"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.9988999962806702,"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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9980999827384949,"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/computer-science","display_name":"Computer science","score":0.6539416313171387},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5522388219833374},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.4710131883621216},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.42358309030532837},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.10901552438735962}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6539416313171387},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5522388219833374},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4710131883621216},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.42358309030532837},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.10901552438735962},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date.2019.8715042","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2019.8715042","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W77932805","https://openalex.org/W1622676895","https://openalex.org/W1665214252","https://openalex.org/W1945616565","https://openalex.org/W2108598243","https://openalex.org/W2109376948","https://openalex.org/W2156387975","https://openalex.org/W2180612164","https://openalex.org/W2616028256","https://openalex.org/W2793633339","https://openalex.org/W2794609696","https://openalex.org/W2807835252","https://openalex.org/W2809182766","https://openalex.org/W2962878175","https://openalex.org/W4242053016","https://openalex.org/W4246001895","https://openalex.org/W4289146347","https://openalex.org/W6603139566","https://openalex.org/W6637242042","https://openalex.org/W6640425456","https://openalex.org/W6682889407","https://openalex.org/W6747838381","https://openalex.org/W6749446186","https://openalex.org/W6749550085","https://openalex.org/W6752265895","https://openalex.org/W6752716229","https://openalex.org/W6898611122"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"Machine":[0],"learning":[1],"systems":[2],"based":[3],"on":[4],"deep":[5],"neural":[6],"networks":[7],"(DNNs)":[8],"produce":[9],"state-of-the-art":[10],"results":[11,148],"in":[12],"many":[13,42,84],"applications.":[14],"Considering":[15],"the":[16,27,94,133,150],"large":[17,112],"amount":[18],"of":[19,96,114,119,152],"training":[20,135],"data":[21],"and":[22,87,116,137],"know-how":[23],"required":[24],"to":[25,33,46,55,66,75,91,142],"generate":[26,77,143],"network,":[28],"it":[29,48,108],"is":[30,49,109],"more":[31],"practical":[32],"use":[34],"third-party":[35],"DNN":[36,52,97,134],"intellectual":[37],"property":[38],"(IP)":[39],"cores":[40],"for":[41,51,59],"designs.":[43],"No":[44],"doubt":[45],"say,":[47],"essential":[50],"IP":[53,67],"vendors":[54],"provide":[56],"test":[57,78,145],"cases":[58,79],"functional":[60],"validation":[61],"without":[62],"leaking":[63],"their":[64,89,105],"parameters":[65,82,115],"users.":[68],"To":[69],"satisfy":[70],"this":[71,122,126],"requirement,":[72],"we":[73,124],"propose":[74],"effectively":[76],"that":[80],"activate":[81],"as":[83,85],"possible":[86],"propagate":[88],"perturbations":[90],"outputs.":[92,106],"Then":[93],"functionality":[95],"IPs":[98],"can":[99],"be":[100],"validated":[101],"by":[102,128],"only":[103],"checking":[104],"However,":[107],"difficult":[110],"considering":[111],"numbers":[113],"highly":[117],"non-linearity":[118],"DNNs.":[120],"In":[121],"paper,":[123],"tackle":[125],"problem":[127],"judiciously":[129],"selecting":[130],"samples":[131],"from":[132],"set":[136],"applying":[138],"a":[139],"gradient-based":[140],"method":[141],"new":[144],"cases.":[146],"Experimental":[147],"demonstrate":[149],"efficacy":[151],"our":[153],"proposed":[154],"solution.":[155]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-03-14T08:43:22.919905","created_date":"2025-10-10T00:00:00"}