Towards Coverage Closure: Using GoldMine Assertions for Generating Design Validation Stimulus
Liu, Lingyi; Sheridan, David; Tuohy, William; Vasudevan, Shobha
Permalink
https://hdl.handle.net/2142/74618
Description
Title Towards Coverage Closure: Using GoldMine Assertions for Generating Design Validation Stimulus Author(s) Liu, Lingyi Sheridan, David Tuohy, William Vasudevan, Shobha Issue Date 2010-09 Keyword(s) Data mining Verification Test generation Coverage Date of Ingest 2015-04-06T20:58:56Z 2017-07-14T23:05:51Z Publisher Coordinated Science Laboratory, University of Illinois at Urbana-Champaign Series/Report Name or Number Coordinated Science Laboratory Report no. UILU-ENG-10-2206, CRHC-10-03 Type of Resource text Genre of Resource Report (Grant or Annual) Language English Permalink http://hdl.handle.net/2142/74618
Owning Collections
