SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 2001, Pages 213-220

A rigorous method for testing real-time reactive systems

(2) Alagar, V S a Zheng, M a

a Dept of Electrical and Computer Engineering (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

BLACK BOX TESTING; FORMAL VERIFICATION PROCESS; REAL TIME REACTIVE SYSTEMS; TIMED REACTIVE OBJECT MODEL;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0035690113 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (3)

References (11)

1
- 0003894459
- (first version 1996, revised); submitted for publication
- (2001) TROMLAB: A Software Development Environment for Real-Time Reactive Systems
- Alagar, V.S.¹ Achuthan, R.² Muthiayen, D.³

2
- 0034586681
- Specification-based testing for real-time reactive systems
- Proceedings: 34th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, U.S.A, July-August, 2000
- Alagar, V.S.¹ Ormandjieva, O.² Zheng, M.³

3
- 0028413052
- A theory of timed automata
- (1994) Theoretical Comput. Sci. , vol.126 , pp. 183-235
- Alur, R.¹ Dill, D.²

4
- 0032108147
- In black and white: An integrated approach to class-level testing of object-oriented programs
- (1998) ACM Transactions on Software Engineering and Methodology , vol.7 , Issue.3 , pp. 250-295
- Chen, N.Y.¹ Tse, T.H.² Chan, F.T.³ Chen, T.Y.⁴

5
- 84956999665
- Automating formal specification-based testing
- Spring-Verlag
- (1997) TAPSOFT'97: Theory and Practice of Software Development, Lecture Notes in Computer Science Series , vol.1214 , pp. 833-847
- Donat, M.R.¹

6
- 0003714504
- Springer Verlag, New York, NY
- (1993) Larch: Languages and Tools for Formal Specifications
- Guttag¹ Horning, J.² Garland, S.³ Jones, J.⁴ Modet, A.⁵ Wing, J.⁶

7
- 0003849678
- John Wiley & Sons
- (1996) Formal Methods for Real-Time Computing
- Heitmeyer, C.¹ Mandrioli, D.²

8
- 0007876070
- Ph.D Thesis, Concordia University, January
- (2000) Real-Time Reactive System Development- A Formal Approach Based on UML and PVS
- Muthiayen, D.¹

9
- 0007876071
- Ph.D Thesis (in preparation), Department of Computer Science, Concordia University, Montreal, Canada
- A Theory of Metrics for Real-Time Reactive Systems Designed in TROMLAB Environment
- Ormandjieva, O.¹

10
- 0003792516
- Technical Report CTIT97-17, University of Twente, Amsterdam, The Netherlands
- (1997) Testing Timed Automata
- Springintveld, J.¹ Vaandrager, F.² Dargenio, P.³

11
- 0007977475
- Ph.D Thesis (in preparation), Department of Computer Science, Concordia University, Montreal, Canada
- Automated Generation of Test Suites from Formal Specifications of Real-Time Reactive Systems
- Zheng, M.¹

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