{"id":"https://openalex.org/W2553074630","doi":"https://doi.org/10.1109/vlsi-soc.2016.7753557","title":"Stimuli generation through invariant mining for black-box verification","display_name":"Stimuli generation through invariant mining for black-box verification","publication_year":2016,"publication_date":"2016-09-01","ids":{"openalex":"https://openalex.org/W2553074630","doi":"https://doi.org/10.1109/vlsi-soc.2016.7753557","mag":"2553074630"},"language":"en","primary_location":{"id":"doi:10.1109/vlsi-soc.2016.7753557","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsi-soc.2016.7753557","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)","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/A5041117548","display_name":"Luca Piccolboni","orcid":"https://orcid.org/0000-0003-0094-4960"},"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":"Luca Piccolboni","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy"],"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"},"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":["Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041117548"],"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.14522091,"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":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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.9991000294685364,"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"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6924476623535156},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.5782795548439026},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.5205801129341125},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.5156427621841431},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.44779396057128906},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.44345566630363464},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.44168007373809814},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3660513758659363},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.322551429271698},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3178586959838867},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2433299720287323},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15063181519508362},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1125497817993164}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6924476623535156},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.5782795548439026},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.5205801129341125},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5156427621841431},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.44779396057128906},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44345566630363464},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44168007373809814},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3660513758659363},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.322551429271698},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3178586959838867},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2433299720287323},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15063181519508362},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1125497817993164},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/vlsi-soc.2016.7753557","is_oa":false,"landing_page_url":"https://doi.org/10.1109/vlsi-soc.2016.7753557","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)","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":23,"referenced_works":["https://openalex.org/W221832247","https://openalex.org/W1710734607","https://openalex.org/W1860963821","https://openalex.org/W1964962870","https://openalex.org/W2042751794","https://openalex.org/W2071112258","https://openalex.org/W2103318645","https://openalex.org/W2105383959","https://openalex.org/W2107147876","https://openalex.org/W2107751709","https://openalex.org/W2112925845","https://openalex.org/W2126273457","https://openalex.org/W2138059712","https://openalex.org/W2142554897","https://openalex.org/W2169370044","https://openalex.org/W2293259408","https://openalex.org/W2335103653","https://openalex.org/W2536923262","https://openalex.org/W4229487081","https://openalex.org/W4249898530","https://openalex.org/W4256285596","https://openalex.org/W6637688222","https://openalex.org/W6676928571"],"related_works":["https://openalex.org/W4232403550","https://openalex.org/W623607250","https://openalex.org/W4245429118","https://openalex.org/W4205110281","https://openalex.org/W4212927854","https://openalex.org/W4211151614","https://openalex.org/W4244798043","https://openalex.org/W4361866086","https://openalex.org/W4251969024","https://openalex.org/W4250793136"],"abstract_inverted_index":{"A":[0],"pre-condition":[1],"for":[2,44,53,99],"any":[3],"verification":[4],"technique":[5],"based":[6,113],"on":[7,114],"simulation":[8],"is":[9,93],"the":[10,23,28,45,72,81,87,105],"generation":[11,47],"of":[12,16,27,48,60,64,74,83,90,144],"a":[13,110,115],"high-quality":[14],"set":[15],"stimuli":[17,49,75,111],"that":[18,76,119,125],"effectively":[19],"and":[20,57,121],"efficiently":[21],"cover":[22],"whole":[24],"state":[25],"space":[26],"Design":[29],"Under":[30],"Verification":[31],"(DUV),":[32],"including":[33],"hard-to-reach":[34],"corner":[35,84,145],"cases.":[36,85],"To":[37,102],"cope":[38],"with":[39],"this":[40,107],"necessity,":[41],"several":[42],"approaches":[43,66],"automatic":[46,88],"have":[50],"been":[51],"proposed":[52],"both":[54],"embedded":[55],"software":[56],"high-level":[58,133],"descriptions":[59],"hardware":[61],"components.":[62],"Most":[63],"these":[65],"use":[67],"constraint":[68],"solvers":[69],"to":[70],"generate":[71],"sequences":[73],"trigger":[77],"specific":[78],"conditions,":[79],"enabling":[80],"analysis":[82],"However,":[86],"identification":[89],"those":[91],"conditions":[92],"still":[94],"an":[95,141],"open":[96],"problem,":[97],"especially":[98],"black-box":[100,148],"designs.":[101],"fill":[103],"in":[104],"gap,":[106],"paper":[108],"proposes":[109],"generator,":[112],"dynamic":[116],"invariant":[117],"miner,":[118],"identifies":[120],"stresses":[122],"DUV":[123],"areas":[124],"are":[126],"not":[127],"deeply":[128],"analysed":[129],"by":[130],"traditional":[131],"pseudo-random":[132],"Automatic":[134],"Test":[135],"Pattern":[136],"Generators":[137],"(ATPGs),":[138],"thus":[139],"guaranteeing":[140],"higher":[142],"coverage":[143],"cases":[146],"during":[147],"verification.":[149]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}