Article citationsMore>>

Petrenko, A., Simao, A. and Yevtushenko, N. (2012) Generating Checking Sequences for Nondeterministic Finite State Machines. 2012 IEEE 5th International Conference on Software Testing, Verification and Validation (ICST), Montreal, 17-21 April 2012, 310-319.
http://dx.doi.org/10.1109/ICST.2012.111

has been cited by the following article: