What lies between design intent coverage and model checking?

Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti

Browse the full DATE paper archive.