Discovering the input assumptions in specification refinement coverage | IEEE Conference Publication | IEEE Xplore