Forward-Propagation Approach for Generating Feasible and Minimum Test Case Suites From Cause-Effect Graph Specifications | IEEE Journals & Magazine | IEEE Xplore