
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Robert M. Hierons, "Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports," IEEE Transactions on Computers, vol. 60, no. 12, pp. 18181822, December, 2011.  
BibTex  x  
@article{ 10.1109/TC.2010.238, author = {Robert M. Hierons}, title = {Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports}, journal ={IEEE Transactions on Computers}, volume = {60}, number = {12}, issn = {00189340}, year = {2011}, pages = {18181822}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2010.238}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports IS  12 SN  00189340 SP1818 EP1822 EPD  18181822 A1  Robert M. Hierons, PY  2011 KW  Software engineering/software/program verification KW  software engineering/testing and debugging KW  finite state machine KW  nondeterminism KW  controllability KW  distributed test architecture. VL  60 JA  IEEE Transactions on Computers ER   
[1] A.Y. Duale and M.U. Uyar, “A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models,” IEEE Trans. Computers, vol. 53, no. 5, pp. 614627, May 2004.
[2] W. Grieskamp, “MultiParadigmatic ModelBased Testing,” Formal Approaches to Software Testing and Runtime Verification (FATES/RV '06), pp. 119, Springer, 2006.
[3] D. Lee and M. Yannakakis, “Principles and Methods of Testing FiniteState Machines—A Survey,” Proc. IEEE, vol. 84, no. 8, pp. 10901123, Aug. 1996.
[4] J. Chen, R.M. Hierons, and H. Ural, “Overcoming Observability Problems in Distributed Test Architectures,” Information Processing Letters, vol. 98, pp. 177182, 2006.
[5] R. Dssouli and G. von Bochmann, “Error Detection with Multiple Observers,” Protocol Specification, Testing and Verification V, pp. 483494, Elsevier Science, 1985.
[6] R.M. Hierons and H. Ural, “Synchronized Checking Sequences Based on UIO Sequences,” Information and Software Technology, vol. 45, no. 12, pp. 793803, 2003.
[7] O. Rafiq and L. Cacciari, “Coordination Algorithm for Distributed Testing,” J. Supercomputing, vol. 24, no. 2, pp. 203211, 2003.
[8] H. Ural and C. Williams, “Constructing Checking Sequences for Distributed Testing,” Formal Aspects of Computing, vol. 18, no. 1, pp. 84101, 2006.
[9] Y.C. Young and K.C. Tai, “Observational Inaccuracy in Conformance Testing with Multiple Testers,” Proc. IEEE First Workshop ApplicationSpecific Software Eng. and Technology, pp. 8085, 1998.
[10] R.M. Hierons and H. Ural, “The Effect of the Distributed Test Architecture on the Power of Testing,” The Computer J., vol. 51, no. 4, pp. 497510, 2008.
[11] J.L. Jacob, “Refinement of Shared Systems,” The Theory and Practice of Refinement: Approaches to the Formal Development of LargeScale Software Systems, J. McDermid, ed., pp. 2736, Butterworths, 1989.
[12] M.A. Fecko, M.U. Uyar, A.S. Sethi, and P.D. Amer, “Conformance Testing in Systems with Semicontrollable Interfaces,” Annals of Telecomm., vol. 55, no. 2, pp. 7083, 2000.
[13] R.M. Hierons, M.G. Merayo, and M. Núnez, “Controllable Test Cases for the Distributed Test Architecture,” Proc. Sixth Int'l Symp. Automated Technology for Verification and Analysis (ATVA '08), pp. 201215, 2008.
[14] J.T.C. ISO/IEC JTC 1, Int'l Standard ISO/IEC 96461. Information Technology—Open Systems Interconnection—Conformance Testing Methodology and Framework—Part 1: General Concepts. ISO/IEC, 1994.
[15] R.M. Hierons, M.G. Merayo, and M. Núnez, “Implementation Relations for The Distributed Test Architecture,” Testing of Software and Communicating Systems (TestCom/FATES '08), pp. 200215, Springer, 2008.
[16] M. Holzer and M. Kutrib, “State Complexity of Basic Operations on Nondeterministic Finite Automata,” Proc. Seventh Int'l Conf. Implementation and Application of Automata (CIAA), pp. 148157, 2002.
[17] A. Petrenko and N. Yevtushenko, “Testing from Partial Deterministic FSM Specifications,” IEEE Trans. Computers, vol. 54, no. 9, pp. 11541165, 2005.
[18] R. Alur, C. Courcoubetis, and M. Yannakakis, “Distinguishing Tests for Nondeterministic and Probabilistic Machines,” Proc. 27th ACM Symp. Theory of Computing, pp. 363372, 1995.
[19] S. Haar, C. Jard, and G.V. Jourdan, “Testing Input/Output Partial Order Automata,” Testing Input/Output Partial Order Automata, in (TestCom/FATES '07), pp. 171185, Springer, 2007.