
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Mercedes Merayo, Manuel Núñez, Ismael Rodríguez, "Extending EFSMs to Specify and Test Timed Systems with Action Durations and TimeOuts," IEEE Transactions on Computers, vol. 57, no. 6, pp. 835844, June, 2008.  
BibTex  x  
@article{ 10.1109/TC.2008.15, author = {Mercedes Merayo and Manuel Núñez and Ismael Rodríguez}, title = {Extending EFSMs to Specify and Test Timed Systems with Action Durations and TimeOuts}, journal ={IEEE Transactions on Computers}, volume = {57}, number = {6}, issn = {00189340}, year = {2008}, pages = {835844}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2008.15}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  Extending EFSMs to Specify and Test Timed Systems with Action Durations and TimeOuts IS  6 SN  00189340 SP835 EP844 EPD  835844 A1  Mercedes Merayo, A1  Manuel Núñez, A1  Ismael Rodríguez, PY  2008 KW  Testing and Debugging KW  Formal methods KW  Specification techniques VL  57 JA  IEEE Transactions on Computers ER   
[1] M. Merayo, M. Núñez, and I. Rodríguez, “Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts,” Proc. 26th IFIP WG 6.1 Int'l Conf. Formal Techniques for Networked and Distributed Systems, pp. 372387, 2006.
[2] B. Bosik and M. Uyar, “Finite State Machine Based Formal Methods in Protocol Conformance Testing,” Computer Networks and ISDN Systems, vol. 22, pp. 733, 1991.
[3] D. Lee and M. Yannakakis, “Principles and Methods of Testing Finite State Machines: A Survey,” Proc. IEEE, vol. 84, no. 8, pp.10901123, 1996.
[4] A. Petrenko, “Fault ModelDriven Test Derivation from Finite State Models: Annotated Bibliography,” Proc. Fourth Summer School on Modeling and Verification of Parallel Processes, pp. 196205, 2001.
[5] E. Brinksma and J. Tretmans, “Testing Transition Systems: An Annotated Bibliography,” Proc. Fourth Summer School on Modeling and Verification of Parallel Processes, pp. 187195, 2001.
[6] K. ElFakih, N. Yevtushenko, and G.v. Bochmann, “FSMBased Incremental Conformance Testing Methods,” IEEE Trans. Software Eng., vol. 30, no. 7, pp. 425436, July 2004.
[7] I. Rodríguez, M. Merayo, and M. Núñez, “${\cal HOTL}$ : Hypotheses and Observations Testing Logic,” J. Logic and Algebraic Programming, vol. 74, no. 2, pp. 5793, 2008.
[8] J. Sifakis, “Use of Petri Nets for Performance Evaluation,” Proc. Third Int'l Symp. Measuring, Modelling and Evaluating Computer Systems, pp. 7593, 1977.
[9] G. Reed and A. Roscoe, “A Timed Model for Communicating Sequential Processes,” Theoretical Computer Science, vol. 58, pp.249261, 1988.
[10] W. Yi, “CCS + Time = An Interleaving Model for Real Time Systems,” Proc. 18th Int'l Colloquium on Automata, Languages, and Programming, pp. 217228, 1991.
[11] X. Nicollin and J. Sifakis, “An Overview and Synthesis on Timed Process Algebras,” Proc. Third Int'l Conf. Computer Aided Verification, pp. 376398, 1991.
[12] J. Quemada, D.d. Frutos, and A. Azcorra, “TIC: A Timed Calculus,” Formal Aspects of Computing, vol. 5, pp. 224252, 1993.
[13] R. Alur and D. Dill, “A Theory of Timed Automata,” Theoretical Computer Science, vol. 126, pp. 183235, 1994.
[14] M. Hennessy and T. Regan, “A Process Algebra for Timed Systems,” Information and Computation, vol. 117, no. 2, pp. 221239, 1995.
[15] J. Davies and S. Schneider, “A Brief History of Timed CSP,” Theoretical Computer Science, vol. 138, pp. 243271, 1995.
[16] J. Baeten and C. Middelburg, Process Algebra with Timing, Springer, 2002.
[17] M. Núñez and I. Rodríguez, “Conformance Testing Relations for Timed Systems,” Proc. Fifth Int'l Workshop Formal Approaches to Software Testing, pp. 103117, 2006.
[18] J. Springintveld, F. Vaandrager, and P. D'Argenio, “Testing Timed Automata,” Theoretical Computer Science, vol. 254, no. 12, pp. 225257, 2001.
[19] R. Barbuti and L. Tesei, “Timed Automata with Urgent Transitions,” Acta Informatica, vol. 40, no. 5, pp. 317347, 2004.
[20] B. Gebremichael and F. Vaandrager, “Specifying Urgency in Timed I/O Automata,” Proc. Third IEEE Int'l Conf. Software Eng. and Formal Methods, pp. 6473, 2005.
[21] P.A. Hsiung, S.W. Lin, Y.R. Chen, C.H. Huang, J.J. Yeh, H.Y. Sun, C.S. Lin, and H.W. Liao, “Model Checking Timed Systems with Urgencies,” Proc. Fourth Int'l Symp. Automated Technology for Verification and Analysis, pp. 6781, 2006.
[22] D. Clarke and I. Lee Automatic Generation of Tests for Timing Constraints from Requirements, Proc. Third Workshop ObjectOriented RealTime Dependable Systems, pp. 199206, 1997.
[23] T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli, “Generating Test Cases for a Timed I/O Automaton Model,” Proc. 12th Int'l Workshop Testing of Communicating Systems, pp. 197214, 1999.
[24] A. EnNouaary and R. Dssouli, “A Guided Method for Testing Timed Input Output Automata,” Proc. 15th Int'l Conf. Testing Communicating Systems, pp. 211225, 2003.
[25] M. Krichen and S. Tripakis, “BlackBox Conformance Testing for RealTime Systems,” Proc. 11th Int'l SPIN Workshop Model Checking of Software, pp. 109126, 2004.
[26] L. Brandán Briones and E. Brinksma, “Testing RealTime Multi InputOutput Systems,” Proc. Seventh Int'l Conf. Formal Eng. Methods, pp. 264279, 2005.
[27] H. Fouchal, E. Petitjean, and S. Salva, “An UserOriented Testing of Real Time Systems,” Proc. IEEE Workshop RealTime Embedded Systems, 2001.
[28] R. CardellOliver, “Conformance Tests for RealTime Systems with Timed Automata Specifications,” Formal Aspects of Computing, vol. 12, no. 5, pp. 350371, 2000.
[29] R. CardellOliver and T. Glover, “A Practical and Complete Algorithm for Testing RealTime Systems,” Proc. Fifth Int'l Symp. Formal Techniques in RealTime and FaultTolerant Systems, pp. 251260, 1998.
[30] D. Mandrioli, S. Morasca, and A. Morzenti, “Generating Test Cases for Real Time Systems from Logic Specifications,” ACM Trans. Computer Systems, vol. 13, no. 4, pp. 356398, 1995.
[31] J. Peleska and M. Siegel, “Test Automation of SafetyCritical Reactive Systems,” South African Computer J., vol. 19, pp. 5377, 1997.
[32] M. Núñez and I. Rodríguez, “Encoding pamr into (timed) efsms,” Proc. 22nd IFIP WG 6.1 Int'l Conf. Formal Techniques for Networked and Distributed Systems, pp. 116, 2002.
[33] A. Petrenko and N. Yevtushenko, “Conformance Tests as Checking Experiments for Partial Nondeterministic FSM,” Proc. Fifth Int'l Workshop Formal Approaches to Software Testing, pp. 118133, 2006.
[34] J. Tretmans, “Test Generation with Inputs, Outputs and Repetitive Quiescence,” Software—Concepts and Tools, vol. 17, no. 3, pp. 103120, 1996.
[35] M. Núñez and I. Rodríguez, “Towards Testing Stochastic Timed Systems,” Proc. 23rd IFIP WG 6.1 Int'l Conf. Formal Techniques for Networked and Distributed Systems, pp. 335350, 2003.
[36] M. Merayo, M. Núñez, and I. Rodríguez, “Implementation Relations for Stochastic Finite State Machines,” Proc. Third European Performance Eng. Workshop, pp. 123137, 2006.