SCOPUS 정보 검색 플랫폼

Theoretical Computer Science

Volumn 254, Issue 1-2, 2001, Pages 225-257

Testing timed automata

(3) Springintveld, Jan a Vaandrager, Frits a R D'Argenio, Pedro b

a RADBOUD UNIVERSITY NIJMEGEN (Netherlands)

b UNIVERSITY OF TWENTE (Netherlands)

Author keywords

(Black box) conformance testing; Bisimulation; I O automata; Real time systems; Timed automata

Indexed keywords

COMPUTER SIMULATION; FINITE AUTOMATA; MATHEMATICAL MODELS; REAL TIME SYSTEMS; THEOREM PROVING;

MEALY MACHINES;

SEQUENTIAL MACHINES;

EID: 0034923818 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(99)00134-6 Document Type: Article

Times cited : (225)

References (35)

1
- 0026260631
- An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours
- (1991) IEEE Trans. Comm. , vol.39 , Issue.11 , pp. 1604-1615
- Aho, A.V.¹ Dahbura, A.T.² Lee, D.³ Uyar, M.Ü.⁴

2
- 0028413052
- A theory of timed automata
- Preliminary versions of this paper appear in the Proc. 17th Internat. Colloq. on Automata, Languages, and Programming (1990), and in the Proc. REX workshop "Real-Time: Theory in Practice" (1991)
- (1994) Theoret. Comput. Sci. , vol.126 , pp. 183-235
- Alur, R.¹ Dill, D.L.²

3
- 0003758313
- Proc. 8th Internat. Conf. Computer Aided Verification
- New Brunswick, NJ, USA, Springer, Berlin, July/August
- (1996) Lecture Notes in Computer Science , vol.1102
- Alur, R.¹ Henzinger, T.A.²

4
- 0003363586
- Hybrid systems III
- Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1066
- Alur, R.¹ Henzinger, T.A.² Sontag, E.D.³

5
- 84958044638
- Timing analysis in COSPAN
- Alur et al. (Eds.), Hybrid Systems III, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1066 , pp. 220-231
- Alur, R.¹ Kurshan, R.P.²

6
- 84957375295
- Verification of an audio protocol with bus collision using UPPAAL
- Alur, Henzinger (Eds.), Proc. 8th Internat. Conf. Computer Aided Verification, New Brunswick, NJ, USA, Springer, Berlin, July/August
- (1996) Lecture Notes in Computer Science , vol.1102 , pp. 244-256
- Bengtsson, J.¹ Griffioen, W.O.D.² Kristoffersen, K.J.³ Larsen, K.G.⁴ Larsson, F.⁵ Pettersson, P.⁶ Yi, W.⁷

7
- 84871647131
- A practical and complete algorithm for testing real-time systems
- A.P. Ravn, H. Rischel (Eds.), Proc. 5th Internat. Symp. in Formal Techniques in Real-Time and Fault Tolerant Systems, Lyngby, Denmark, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1486 , pp. 251-261
- Cardell-Oliver, R.¹ Glover, T.²

8
- 84944214820
- Dr.sc.comp. Thesis, University of Latvia, Rīga
- (1992) Algorithmic problems in analysis of real time system specifications
- Čerans, K.¹

9
- 84947796708
- Decidability of bisimulation equivalences for parallel timer processes
- G.V. Bochmann, D.K. Probst (Eds.), Proc. 4th Internat. Workshop on Computer Aided Verification, Montreal, Canada, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.663 , pp. 302-315
- Čerans, K.¹

10
- 0024923669
- An improved protocol test generation procedure based on UIOs
- ACM
- (1989) Proc. ACM Symp. on Communication Architectures and Protocols , pp. 283-294
- Chan, W.Y.L.¹ Vuong, S.T.² Ito, M.R.³

11
- 0017973244
- Testing software design modeled by finite-state machines
- (1978) IEEE Trans. Software Eng. , vol.4 , Issue.3 , pp. 178-187
- Chow, T.S.¹

12
- 0030706731
- Automatic generation of tests for timing constraints from requirements
- Newport Beach, California, February
- (1997) Proc. 3rd Internat. Workshop on Object Oriented Real-Time Dependable Systems
- Clarke, D.¹ Lee, I.²

13
- 84958770017
- The bounded retransmission protocol must be on time!
- E. Brinksma (Ed.), Proc. 3rd Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Enschede, The Netherlands, Springer, Berlin, April
- (1997) Lecture Notes in Computer Science , vol.1217 , pp. 416-431
- D'Argenio, P.R.¹ Katoen, J.-P.² Ruys, T.C.³ Tretmans, J.⁴

14
- 40149092144
- The tool KRONOS
- Alur et al. (Eds.), Hybrid Systems III, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1066 , pp. 208-219
- Daws, C.¹ Olivero, A.² Tripakis, S.³ Yovine, S.⁴

15
- 0029488677
- Two examples of verification of multirate timed automata with KRONOS
- Pisa, Italy, IEEE Computer Society Press, Silver Spring, MD, December
- (1995) Proc. 16th IEEE Real-Time Systems Symp. (RTSS'95) , pp. 66-75
- Daws, C.¹ Yovine, S.²

16
- 0032299323
- Timed test cases generation based on state characterization technique
- Madrid, Spain. IEEE Computer Society Press, Silver Spring, MD, December
- (1998) Proc. 19th IEEE Real-Time Systems Symposium (RTSS'98) , pp. 220-229
- En-Nouaary, A.¹ Dssouli, R.² Khendek, F.³ Elqortobi, A.⁴

17
- 72349100435
- Using on-the-fly verification techniques for the generation of test suites
- Alur, Henzinger (Eds.), Proc. 8th Internat. Conf. Computer Aided Verification, New Brunswick, NJ, USA, Springer, Berlin, July/August
- (1996) Lecture Notes in Computer Science , vol.1102 , pp. 348-359
- Fernandez, J.-C.¹ Jard, C.² Jéron, Th.³ Viho, C.⁴

18
- 84957627066
- Robust timed automata
- O. Maler (Ed.), Proc. Internat. Workshop HART'97, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1201 , pp. 331-345
- Gupta, V.¹ Henzinger, T.A.² Jagadeesan, R.³

19
- 0004541601
- HyTech: The Cornell HYbrid TECHnology tool
- U.H. Engberg, K.G. Larsen, A. Skou (Eds.), Aarhus, Denmark, BRICS Notes Series, Department of Computer Science, University of Aarhus, May
- (1995) Proc. Workshop on Tools and Algorithms for the Construction and Analysis of Systems , vol.NS-95-2 , pp. 29-43
- Henzinger, T.A.¹ Ho, P.-H.²

20
- 0000217258
- Symbolic model checking for real-time systems
- (1994) Inform. Comput. , vol.111 , pp. 193-244
- Henzinger, T.A.¹ Nicollin, X.² Sifakis, J.³ Yovine, S.⁴

21
- 84947909019
- Automated analysis of an audio control protocol
- P. Wolper (Ed.), Proc. 7th Internat. Conf. on Computer Aided Verification, Liège, Belgium, Springer, Berlin, June
- (1995) Lecture Notes in Computer Science , vol.939 , pp. 381-394
- Ho, P.-H.¹ Wong-Toi, H.²

22
- 0003406298
- Prentice-Hall International, Englewood Cliffs, NJ
- (1991) Design and Validation of Computer Protocols
- Holzmann, G.J.¹

23
- 0003830657
- McGraw-Hill, New York
- (1978) Switching and Finite Automata Theory, 2nd Edition
- Kohavi, Z.¹

24
- 84896693115
- UPPAAL in a nutshell
- (1997) Internat. J. Software Tools Technol. Transfer , vol.1 , Issue.1-2 , pp. 134-152
- Larsen, K.G.¹ Pettersson, P.² Yi, W.³

25
- 85031892754
- Hierarchical correctness proofs for distributed algorithms
- August. A full version is available as MIT Technical Report MIT/LCS/TR-387
- (1987) Proc. 6th Annual ACM Symp. on Principles of Distributed Computing , pp. 137-151
- Lynch, N.A.¹ Tuttle, M.R.²

26
- 84976832662
- Generating test cases for real-time systems from logic specifications
- (1995) ACM Trans. Comput. Systems , vol.13 , Issue.4 , pp. 365-398
- Mandrioli, D.¹ Morasca, S.² Morzenti, A.³

27
- 0004488891
- Handling redundant and additional states in protocol testing
- A. Cavalli, S. Budkowski (Eds.), Paris, France
- (1995) Proc. 8th Internat. Workshop on Protocol Test Systems IWPTS '95 , pp. 307-322
- Petrenko, A.¹ Higashino, T.² Kaji, T.³

28
- 0004540627
- Liveness in timed and untimed systems
- (1998) Inform. Comput. , vol.141 , pp. 119-171
- Segala, R.¹ Gawlick, R.² Søgaard-Andersen, J.F.³ Lynch, N.⁴

29
- 0003885423
- Addison-Wesley, Reading, MA
- (1996) Software Engineering, 5th edition
- Sommerville, I.¹

30
- 84947755238
- Minimizable timed automata
- B. Jonsson, J. Parrow (Eds.), Proc. 4th Internat. Symp. on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT '96), Uppsala, Sweden, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1135 , pp. 130-147
- Springintveld, J.G.¹ Vaandrager, F.W.²

31
- 0003499877
- Ph.D. Thesis, University of Twente, December
- (1992) A formal approach to conformance testing
- Tretmans, J.¹

32
- 84958740117
- Test generation with inputs, outputs, and quiescence
- T. Margaria, B. Steffen (Eds.), Proc. 2nd. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, Springer, Berlin, April
- (1996) Lecture Notes in Computer Science , vol.1055 , pp. 127-146
- Tretmans, J.¹

33
- 0000101791
- Test generation with inputs, outputs, and repetitive quiescence
- (1996) Software - Concepts and Tools , vol.17 , pp. 103-120
- Tretmans, J.¹

34
- 84949680790
- Efficient scaling-invariant checking of timed bisimulation
- R. Reischuk, M. Morvan (Eds.), Proc. 14th Symp. on Theoretical Aspects of Computer Science STACS '97, Lübeck, Germany, Springer, Berlin, February
- (1997) Lecture Notes in Computer Science , vol.1200 , pp. 177-188
- Weise, C.¹ Lenzkes, D.²

35
- 85027594526
- Real-time behaviour of asynchronous agents
- J.C.M. Baeten, J.W. Klop (Eds.), Proc. CONCUR 90, Amsterdam, Springer, Berlin
- (1990) Lecture Notes in Computer Science , vol.458 , pp. 502-520
- Yi, W.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.