OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification.

Farzan Fallah Srinivas Devadas Kurt Keutzer

Published in: DAC (1998)

Keyphrases

efficient computation
functional verification
code coverage
computational efficiency
software systems
software testing
test generation
test cases
formal verification
software quality
regression testing
multi dimensional
skyline queries