Aleksandr Tvardovskii. Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation. Nina Yevtushenko; Ana Rosa Cavalli; Hüsnü Yenigün. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Pet
HAL Archives-Ouvertes,
Aleksandr Tvardovskii. Refining the Specification FSM When Deriving Test Suites w.r.t.