SCOPUS 정보 검색 플랫폼

IBM Systems Journal

Volumn 41, Issue 1, 2002, Pages 111-125

Multithreaded java program test generation

(5) Edelstein, O a Farchi, E a Nir, Y a Ratsaby, G a Ur, S a

a IBM HAIFA RESEARCH LAB (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; CONCURRENT ENGINEERING; DATA STORAGE EQUIPMENT; PROGRAM DEBUGGING; SYNCHRONIZATION;

FUNCTIONAL TEST; SEEDING TECHNIQUE; SHARED MEMORY ACCESS; SYNCHRONIZATION FAULTS; TEST GENERATION;

JAVA PROGRAMMING LANGUAGE;

EID: 0036315513 PISSN: 00188670 EISSN: None Source Type: Journal
DOI: 10.1147/sj.411.0111 Document Type: Article

Times cited : (151)

References (25)

1
- 84976794498
- Nondeterminacy: Testing and debugging in message passing parallel programs
- (1993) Proceedings of the 3rd ACM/ONR Workshop on Parallel and Distributed Debugging, ACM, New York , pp. 118-128
- Damodaran-Kamal, S.K.¹ Francioni, J.M.²

2
- 0013500374
- Testing races in parallel programs with an OtOt strategy
- (1994) Proceedings of the 1994 International Symposium on Software Testing and Analysis, ACM, New York , pp. 216-227
- Damodaran-Kamal, S.K.¹ Francioni, J.M.²

3
- 0031618590
- Protocol-based data-race detection
- (1998) Proceedings of the 2nd SIGMETRICS Symposium on Parallel and Distributed Tools, ACM, New York , pp. 40-47
- Richards, B.¹ Larus, J.R.²

4
- 0031272525
- Eraser: A dynamic race detector for multithreaded programs
- (1997) ACM Transactions on Computer Systems , vol.15 , Issue.4 , pp. 391-411
- Savage, S.¹

5
- 0000842827
- Towards integration of data-race detection in DSM systems
- (1999) Journal of Parallel and Distributed Computing , vol.59 , Issue.2 , pp. 180-203
- Itzkovitz, E.¹ Schuster, A.² Zeev-Ben-Mordehai, O.³

6
- 0004273095
- See Appendix E in B. Lewis and D. J. Berg; Prentice Hall, Englewood Cliffs, NJ
- (1996) Threads Primer

7
- 0031633854
- Deterministic replay of Java multithreaded applications
- (1998) Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, ACM, New York
- Choi, J.-D.¹ Srinivasan, H.²

8
- 0000593199
- Debugging concurrent processes: A case study
- (1998) Proceedings of the ACM SIGPLAN Conference on Programming Language and Implementation (PLDI), ACM, New York , pp. 145-153
- Stone, J.M.¹

9
- 84947208912
- Testing for timing-dependent and concurrency faults
- (1998) Proceedings of Software Testing Analysis and Review, Software Quality Engineering
- Farchi, E.¹ Factor, M.² Talmor, Y.³

10
- 0000917597
- Model-checking multi-threaded distributed Java programs
- (2000) Proceedings of the 7th International SPIN Workshop on Model Checking of Software, Springer-Verlag, New York
- Stoller, S.D.¹

11
- 0003406298
- Prentice Hall, Englewood Cliffs, NJ; See section 11.3
- (1991) Design and Validation of Computer Protocols
- Holzmann, G.J.¹

12
- 0017996760
- Time, clocks, and the ordering of events in a distributed system
- (1978) Communications of the ACM , vol.21 , Issue.7 , pp. 558-565
- Lamport, L.¹

13
- 0004215089
- Morgan Kaufmann, San Francisco, CA
- (1996) Distributed Algorithms
- Lynch, N.A.¹

14
- 0002425088
- Testing of distributed programs
- A. Y. H. Zomaya, Editor, McGraw-Hill, Inc., New York
- (1996) Parallel and Distributed Computing Handbook
- Zomaya, A.Y.H.¹ Tai, K.C.² Carver, R.H.³

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

16
- 84988036195
- All-du-path coverage for parallel programs
- (1998) ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'98), ACM, New York , pp. 153-162
- Yang, C.-S.¹ Souter, A.² Pollock, L.³

17
- 85037006723
- A Tutorial Introduction to GCT
- Marick, B.¹

18
- 0002195811
- Mutation 2000: Uniting the Orthogonal
- (2000) Proceedings of Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, IEEE, New York , pp. 45-55
- Offutt, J.¹ Untch, R.²

19
- 85037006739
- note

20
- 85037021155
- See the Java Developer Connection Technical Tips, dated March 28
- (2000)

21
- 0003719376
- Addison-Wesley Publishing Co., Reading, MA
- (2000) Concurrent Programming in Java, Second Edition
- Lea, D.¹

22
- 0033902563
- Deterministic replay of distributed java applications
- (2000) Proceedings of the 14th International Parallel and Distributed Processing Symposium (IPDPS'00)
- Konuru, R.¹ Srinivasan, H.² Choi, J.-D.³

23
- 0020752281
- A general-purpose algorithm for analyzing concurrent programs
- (May)
- (1983) Communications of the ACM , vol.26 , pp. 362-376
- Taylor, R.N.¹

24
- 0024142939
- A formal framework for the study of concurrent program testing
- (1988) Proceedings of the 2nd Workshop on Software Testing, Analysis and Verification, IEEE, New York , pp. 106-113
- Weiss, S.¹

25
- 0001002507
- Using high level Petri nets for testing concurrent and real time systems
- H. Zedan, Editor, Elsevier Science Publishers, Amsterdam, Holland
- (1989) Real-Time Systems: Theory and Applications , pp. 119-131
- Morasca, S.¹ Pezze, M.²

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