Fan Zhang, To-Yat Cheung. Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines. IEEE Trans. Software Eng., 29(1):1-14, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.