
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Rob M. Hierons, "Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting," IEEE Transactions on Computers, vol. 53, no. 10, pp. 13301342, October, 2004.  
BibTex  x  
@article{ 10.1109/TC.2004.85, author = {Rob M. Hierons}, title = {Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting}, journal ={IEEE Transactions on Computers}, volume = {53}, number = {10}, issn = {00189340}, year = {2004}, pages = {13301342}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2004.85}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting IS  10 SN  00189340 SP1330 EP1342 EPD  13301342 A1  Rob M. Hierons, PY  2004 KW  Software engineering KW  software/program verification KW  testing and debugging KW  nondeterministic finite state machine KW  adaptive testing KW  state counting. VL  53 JA  IEEE Transactions on Computers ER   
[1] H. AboElFotoh, O. AbouRabia, and H. Ural, A Test Generation Algorithm For Protocols Modeled as NonDeterministic FSMs The Software Eng. J., vol. 8, no. 4, pp. 184188, 1993.
[2] R. Alur, C. Courcoubetis, and M. Yannakakis, Distinguishing Tests for Nondeterministic and Probabilistic Machines Proc. 27th ACM Symp. Theory of Computing, pp. 363372, 1995.
[3] S. Yu Boroday, Distinguishing Tests for NonDeterministic Finite State Machines Proc. Testing of Communicating Systems, IFIP TC6 11th Int'l Workshop Testing of Communicating Systems, pp. 101107, 1998.
[4] T.S. Chow, Testing Software Design Modelled by Finite State Machines IEEE Trans. Software Eng., vol. 4, pp. 178187, 1978.
[5] S. Fujiwara and G. v. Bochmann, Testing NonDeterministic State Machines with Fault Coverage Proc. Protocol Test Systems IV, pp. 267280, 1991.
[6] D. Harel and M. Politi, Modeling Reactive Systems with Statecharts: The STATEMATE Approach. New York: McGrawHill, 1998.
[7] R.M. Hierons, Adaptive Testing of a Deterministic Implementation against a Nondetermistic Finite State Machine The Computer J., vol. 41, no. 5, pp. 349355, 1998.
[8] R.M. Hierons and H. Ural, Concerning the Ordering of Adaptive Test Sequences Proc. 23rd IFIP Int'l Conf. Formal Techniques for Networked and Distributed Systems (FORTE 2003), pp. 289302, 2003.
[9] ITUT, Recommendation Z.100 Specification and Description Language (SDL). Geneva: Int'l Telecomm. Union, 1999.
[10] D. Lee and M. Yannakakis, Principles and Methods of Testing Finite State Machines, a Survey Proc. IEEE, vol. 84, no. 8, pp. 10901123, Aug. 1996.
[11] G. Luo, G.V. Bochman, and A. Petrenko, “Test Selection Based on Communicating Nodetermistic Finite State Machines Using a Generalized wpMethod,” IEEE Trans. Software Eng., vol. 20, no. 2, pp. 149162, Feb. 1994.
[12] A. Petrenko, N. Yevtushenko, A. Lebedev, and A. Das, Nondeterministic State Machines in Protocol Conformance Testing Proc. Protocol Test Systems, VI (C19), pp. 363378, Sept. 1994.
[13] A. Petrenko, N. Yevtushenko, and G. v. Bochmann, Testing Deterministic Implementations from Nondeterministic FSM Specifications Proc. Testing of Communicating Systems, IFIP TC6 Ninth Int'l Workshop Testing of Communicating Systems, pp. 125141, Sept. 1996.
[14] P.H. Starke, Abstract Automata. NorthHolland, Amsterdam: Elsevier, 1972.
[15] J. Tretmans, Conformance Testing with Labelled Transitions Systems:Implementation Relations And Test Generation Computer Networks and ISDN Systems, vol. 29, no. 1, pp. 4979, 1996.
[16] P. Tripathy and K. Naik, Generation of Adaptive Test Cases from NonDeterministic Finite State Models Proc. Fifth Int'l Workshop Protocol Test Systems, pp. 309320, Sept. 1992.
[17] M.P. Vasilevskii, Failure Diagnosis of Automata Cybernetics, vol. 4, pp. 653665, 1973.
[18] N.V. Yevtushenko, A.V. Lebedev, and A.F. Petrenko, On Checking Experiments with Nondeterministic Automata Automatic Control and Computer Sciences, vol. 6, pp. 8185, 1991.