SCOPUS 정보 검색 플랫폼

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

Volumn , Issue , 2001, Pages 221-228

The design and implementation of automata-based testing environment for Java multi-thread programs

(4) Seo, Heui Seok a Chung, In Sang a Kim, Byeong Man a Kwon, Yong Rae a

a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE ALGORITHMS; CONCURRENT ENGINEERING; EQUIVALENCE CLASSES; JAVA PROGRAMMING LANGUAGE; PROGRAM DIAGNOSTICS; REQUIREMENTS ENGINEERING; SEMANTICS; SEQUENTIAL MACHINES;

AUTOMATA BASED TESTING; AUTOMATA GENERATOR; CONCURRENT PROGRAM TESTING; JAVA MULTITHREAD PROGRAMS; PROGRAM TRANSFORMER; REPLAY CONTROLLER; SYNCHRONIZATION SEQUENCE;

SOFTWARE ENGINEERING;

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

Times cited : (6)

References (14)

1
- 0032288960
- A tool for testing of parallel and distributed programs in message-passing environments
- (1998) Proceedings of the 9th Mediterranean Electrotechnical Conference 1998 (MELECONE98) , vol.2 , pp. 1308-1312
- Bechini, A.¹ Cutajar, J.² Bochmann, C.A.P.V.³ Petrenko, A.⁴

2
- 84982888632
- Protocol testing: Review of methods and relevance for software testing
- (1994) Proceedings of the International Symposium on Software Testing and Analysis , pp. 109-124
- Bochmann, G.V.¹ Petrenko, A.²

3
- 0024627108
- A debugger for ada tasking
- March
- (1989) IEEE Transaction on Software Engineering , vol.15 , Issue.3 , pp. 293-304
- Brindle, A.F.¹ Taylor, R.N.² Martin, D.F.³

4
- 0007968490
- Control of nondeterminism in testing distributed multithreaded programs
- (2000) Proceedings of the 1st Asia-Pacific Conference on Quality Software , pp. 29-38
- Cai, X.¹ Chen, J.²

5
- 0026116649
- Replay and testing for concurrent programs
- March
- (1991) IEEE Software , vol.8 , Issue.2 , pp. 66-74
- Carver, R.H.¹ Tai, K.C.²

6
- 1642585468
- Use of sequencing constraints for specification-based testing of concurrent programs
- June
- (1998) IEEE Transaction on Software Engineering , vol.24 , Issue.6 , pp. 471-490
- Carver, R.H.¹ Tai, K.C.²

7
- 0007928253
- Yet another approach to deterministic execution testing for distributed programs
- (2000) Proceedings of the IASTED International Conference on Software Engineering and Applications , pp. 55-60
- Chung, I.S.¹ Kim, B.M.²

8
- 4243240747
- A new approach to deterministic execution testing for concurrent programs
- (2000) Proceedings of the International Workshop on Distributed System Validation and Verification
- Chung, I.S.¹ Kim, B.M.² Kim, H.S.³

9
- 0032593052
- Testing of concurrent programs based on message sequence charts
- (1999) Proceedings of the International Symposium on Software Engineering for Parallel and DisTributed Systems (PDSE99) , pp. 72-82
- Chung, I.S.¹ Kim, H.S.² Bae, H.S.³ Kwon, Y.R.⁴ Lee, B.S.⁵

10
- 0026745444
- Detecting nondeterminacy in parallel programs
- January
- (1992) IEEE Software , vol.9 , Issue.1 , pp. 69-77
- Emrath, P.A.¹ Ghosh, S.² Padua, D.A.³

11
- 0023328934
- Debugging parallel programs with instant replay
- (1987) IEEE Transaction on Computers , vol.36 C , Issue.4 , pp. 471-482
- LeBlanc, T.J.¹ Mellor-Crummey, J.M.²

12
- 0032593062
- State-based reproducible testing for corba applications
- (2000) Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE00) , pp. 29-38
- Sohn, H.W.¹ Kung, D.C.² Hsia, P.³

13
- 0025886006
- Debugging concurrent ada programs by deterministic execution
- January
- (1991) IEEE Transaction on Software Engineering , vol.17 , Issue.1 , pp. 45-63
- Tai, K.C.¹ Carver, R.H.² Obaid, E.E.³

14
- 0026827806
- Structural testing of concurrent programs
- March
- (1992) IEEE Transaction on Software Engineering , vol.18 , Issue.3 , pp. 206-215
- Taylor, R.N.¹ Levine, D.L.² Kelly, C.D.³

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