Petrenko, A. and Yevtushenko, N. (2005) Testing from Partial Deterministic FSM Specifications. IEEE Transactions on Computers, 54, 1154-1165. http://dx.doi.org/10.1109/TC.2005.152
has been cited by the following article:
Related Articles: