Search - Testing Software and Systems (ICTSS 2017) Access content directly

Filter your results

1 Array
Keywords : Nondeterministic FSM
Image document

Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation

Aleksandr Tvardovskii
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.333-339, ⟨10.1007/978-3-319-67549-7_22⟩
Conference papers hal-01678992v1