Forward-Propagation Approach for Generating Feasible and Minimum Test Case Suites From Cause-Effect Graph Specifications. - Ehlimana Krupalija; Emir Cogo; Seila Becirovic; Irfan Prazina; Kerim Hodizic; Ingmar Besic (IEEE Access, 2022)