Barnett, M., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Towards a tool environment for model-based testing with AsmL. In: Formal Approaches to Testing, Lecture Notes in Computer Science, vol. 2931, pp. 252–266, Montreal, Canada. Springer, Berlin (2003)
Boyd, S., Ural, H.: The synchronization problem in protocol testing and its complexity. Inform. Process. Lett. 40(3), 131–136 (1991)
Broekman, B., Notenboom, E.: Testing Embedded Software. Addison-Wesley, London (2003)
Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Inform. Softw. Technol. 41(11–12), 767–780 (1999)
Chen, J., Hierons, R.M., Ural, H.: Conditions for resolving observability problems in distributed testing. In: 24rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), Lecture Notes in Computer Science, vol. 3235, pp. 229–242. Springer, Berlin (2004)
Chen, J., Hierons, R.M., Ural, H.: Resolving observability problems in distributed test architectures. In: 25th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), Lecture Notes in Computer Science, vol. 3731, pp. 219–232. Springer, Berlin (2005)
Chen, J., Hierons, R.M., Ural, H.: Overcoming observability problems in distributed test architectures. Inform. Process. Lett. 98(5), 177–182 (2006)
Chen, W., Ural, H.: Synchronizable checking sequences based on multiple UIO sequences. IEEE/ACM Trans. Networking 3, 152–157 (1995)
Derderian, K., Hierons, R.M., Harman, M., Guo, Q.: Input sequence generation for testing of communicating finite state machines (cfsms). In: Genetic and Evolutionary Computation (GECCO 2004), Lecture Notes in Computer Science, vol. 3103, pp. 1429–1430, Seattle, WA, USA. Springer, Berlin (2004)
Dorofeeva, R., Yevtushenko, N., El-Fakih, K., Cavalli, A.R.: Experimental evaluation of fsm-based testing methods. In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), pp. 23–32. IEEE Computer Society (2005)
Dssouli, R., von Bochmann, G.: Error detection with multiple observers. In: Protocol Specification, Testing and Verification V, pp. 483–494. Elsevier (North Holland), Amsterdam (1985)
Dssouli, R., von Bochmann, G.: Conformance testing with multiple observers. In: Protocol Specification, Testing and Verification VI, pp. 217–229. Elsevier (North Holland), Amsterdam (1986)
Farchi, E., Hartman, A., Pinter, S.: Uing a model-based test generator to test for standard conformance. IBM Syst. J. 41(1), 89–110 (2002)
Gill, A.: Introduction to The Theory of Finite State Machines. McGraw–Hill, New York (1962)
Gonenc, G.: A method for the design of fault detection experiments. IEEE Trans. Comput. 19, 551–558 (1970)
Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. In: Proceedings of the ACM SIGSOFT Symposium on Software Testing and Analysis, pp. 112–122 (2002)
Guyot, S., Ural, H.: Synchronizable checking sequences based on UIO sequences. In: Protocol Test Systems, VIII, pp. 385–397, Evry, France. Chapman and Hall, London (1995)
Harvey, C., Strooper, P.A.: Testing java monitors through deterministic execution. In: 13th Australian Software Engineering Conference (ASWEC 2001), pp. 61–67. IEEE Computer Society (2001)
Hennie, F.C.: Fault–detecting experiments for sequential circuits. In: Proceedings of Fifth Annual Symposium on Switching Circuit Theory and Logical Design, pp. 95–110, Princeton, New Jersey, (1964)
Hierons, R.M.: Minimizing the number of resets when testing from a finite state machine. Inform. Process. Lett. 90(6), 287–292 (2004)
Hierons, R.M.: Testing from a non-deterministic finite state machine using adaptive state counting. IEEE Trans. Comput. 53(10), 1330–1342 (2004)
Hierons, R.M., Ural, H.: Redefining testing (from a finite state machine) in the distributed test architecture (submitted)
Hierons, R.M., Ural, H.: Reduced length checking sequences. IEEE Trans. Comput. 51(9), 1111–1117 (2002)
Hierons, R.M., Ural, H.: UIO sequence based checking sequences for distributed test architectures. Inform. Softw. Technol. 45(12), 793–803 (2003)
Hopcroft, J.E.: An n log n algorithm for minimizing the states in a finite automaton. In: Kohavi, Z.(eds) The Theory of Machines and Computation, pp. 189–196. Academic Press, New York (1971)
Hwang, G.-H., Tai, K.-C., Huang, T.-L.: Reachability testing: an approach to testing concurrent software. In: First Asia-Pacific Software Engineering Conference, pp. 246–255 (1994)
Hwang, I., Kim, T., Hong, S., Lee, J.: Test selection for a nondeterministic FSM. Comput. Commun. 24(12), 1213–1223 (2001)
Joint Technical Committee (1994) ISO/IEC JTC 1. International Standard ISO/IEC 9646-1. Information Technology—Open Systems Interconnection—Conformance testing methodology and framework—Part 1: General concepts. ISO/IEC
ITU-T.: Recommendation Z.500 Framework on Formal Methods in Conformance Testing. International Telecommunications Union, Geneva (1997)
Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., Thatcher, J.W.(eds) Complexity of Computer Computations, pp. 85–103. Plenum Press, New York (1972)
Khoumsi, A.: A temporal approach for testing distributed systems. IEEE Trans. Softw. Eng. 28(11), 1085–1103 (2002)
Lee, D., Yannakakis, M.: Testing finite-state machines: State identification and verification. IEEE Trans. Comput. 43(3), 306–320 (1994)
Lee, D., Yannakakis, M.: Principles and methods of testing finite–state machines—a survey. Proc. IEEE 84(8), 1089–1123 (1996)
Lei, Y., Carver, R.H.: A new algorithm for reachability testing of concurrent programs. In: 16th International Symposium on Software Reliability Engineering (ISSRE 2005), pp. 346–355. IEEE Computer Society, 8–11 November 2005
Lei, Y., Carver, R.H.: Reachability testing of concurrent programs. IEEE Trans. Softw. Eng. 32(6), 382–403 (2006)
Luo, G., Dssouli, R., Bochmann, G.v.: Generating synchronizable test sequences based on finite state machine with distributed ports. In: The 6th IFIP Workshop on Protocol Test Systems, pp. 139–153. Elsevier (North-Holland), Amsterdam (1993)
Luo, G., Dssouli, R., Bochmann, G.v., Venkataram, P., Ghedamsi, A.: Test generation with respect to distributed interfaces. Comput. Standards Interfaces 16, 119–132 (1994)
Luo, G., Petrenko, A., Bochmann, G.v.: Selecting test sequences for partially-specified nondeterministic finite state machines. In: The 7th IFIP Workshop on Protocol Test Systems, pp. 95–110, Tokyo, Japan. Chapman and Hall, London, November 8–10, 1994
Luo, G.L., Bochmann, G.v., Petrenko, A.: Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method. IEEE Trans. Softw. Eng. 20(2), 149–161 (1994)
Petrenko, A., Yevtushenko, N., Lebedev, A., Das, A.: Nondeterministic state machines in protocol conformance testing. In: Proceedings of Protocol Test Systems, VI (C–19), pp. 363–378, Pau, France, Elsevier (North-Holland), Amsterdam 28–30 September 1994
Rafiq, O., Cacciari, L.: Coordination algorithm for distributed testing. J. Supercomput. 24(2), 203–211 (2003)
Sarikaya, B., Bochmann, G.v.: Synchronization and specification issues in protocol testing. IEEE Trans. Commun. 32, 389–395 (1984)
Tai, K.-C., Young, Y.-C.: Synchronizable test sequences of finite state machines. Comput. Networks ISDN Syst. 30(12), 1111–1134 (1998)
Ural, H., Wu, X., Zhang, F.: On minimizing the lengths of checking sequences. IEEE Trans. Comput. 46(1), 93–99 (1997)
Wu, W.-J., Chen, W.-H., Tang, C.Y.: Synchronizable test sequence for multi–party protocol conformance testing. Comput. Commun. 21(13), 1177–1183 (1998)
Yao, M., Petrenko, A., Bochmann, G.v.: Conformance testing of protocol machines without reset. In: Protocol Specification, Testing and Verification, XIII (C–16), pp. 241–256. Elsevier (North–Holland), Amsterdam (1993)
Young, Y.C., Tai, K.C.: Observational inaccuracy in conformance testing with multiple testers. In: IEEE 1st Workshop on Application-specific Software Engineering and Technology, pp. 80–85 (1998)
US