Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation.

E. Akenshina, Natalia Shabaldina, Nina Yevtushenko

Browse the full ICST paper archive.