Discovering the input assumptions in specification refinement coverage.

Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti

Browse the full ASPDAC paper archive.