Coverage Management with Inline Assertions and Formal Test Points.

Aritra Hazra Priyankar Ghosh Pallab Dasgupta Partha Pratim Chakrabarti

Published in: VLSI Design (2010)

Keyphrases

management system
test suite
information management
test cases
set of test cases
data management
information systems
data points
point sets
endpoints
feature points
database
convex hull
formal model
information technology
data processing
feature space
requirements engineering
mathematical theory
data mining