FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts

by Aleksandr Sergeevitch Tvardovskii, Nina Vladimirovna Evtushenko
Published 2019-10-01