Author:
Tvardovskii Aleksandr,El-Fakih Khaled,Yevtushenko Nina
Funder
Russian Academy of Sciences
American University of Sharjah
Russian Science Foundation
Reference46 articles.
1. Testing software design modelled by finite state machines;Chow;IEEE Trans. Softw. Eng.,1978
2. Failure Diagnosis of Automata. Cybernetics;Vasilevskii,1973
3. Test selection based on finite state models;Fujiwara;IEEE Trans. Softw. Eng.,1991
4. Testing from partial deterministic FSM specifications;Petrenko;IEEE Trans. Comput.,2005
5. Nondeterministic state machines in protocol conformance testing;Petrenko,1994