Prasenjit Basu Sayantan Das Pallab Dasgupta Partha Pratim Chakrabarti Discovering the input assumptions in specification refinement coverage. 13-18 2006 conf/aspdac/2006 ASP-DAC http://doi.acm.org/10.1145/1118299.1118305 db/conf/aspdac/aspdac2006.html#BasuDDC06