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 Copy

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

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

Language

English

Permalink

http://hdl.handle.net/2142/74618

Owning Collections