1. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese Postman Tuours;Aho,1988
2. A metric based theory of test selection and coverage;Alilovic-Curgus,1993
3. Bochmann, G.V., Das, G., Dssouli, A., Dubuc, M., Ghedamsi, A., Luo, G., 1991. Fault models in testing. In: IWPTS IV-International Workshop on Protocol Tests Systems, Leischendam, The Netherlands
4. USR Murly Graph Theory with Applications;Bondy,1976
5. Interactive test generation from LOTOS specifications;Burgt;IFIP Transactions C (Communication Systems),1993