Concurrent bug patterns and how to test them

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

Volumn , Issue , 2003, Pages

  Farchi, Eitan ^a   Nir, Yarden ^a   Ur, Shmuel ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED PARAMETER NETWORKS;

BUG FINDING; CONCURRENT DESIGN; FORMAL EXPERIMENTS; INDUSTRIAL EXPERIENCE; TIMING HEURISTICS;

TAXONOMIES;

EID: 84947250078     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2003.1213511     Document Type: Conference Paper

References (11)

1. B. Beizer. Software Testing Techniques, Chapter Two. International Thomson Computer Press, 1990.
2. W. J. Brown, R. C. Malveau, H. W. McCormick, and T. J. Mowbray. AntiPatterns: Refactoring Software, Architectures and Projects in Crisis. Wiley, 1988.
3. J.-D. Choi and H. Srinivasan. Deterministic replay of Java multithreaded applications. In Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, August 1998.
4. E. Farchi, E. Goldin, Y. Nir, G. Ratsaby, and S. Ur. Framework for testing multi-threaded Java programs. Java Grande/ISCOPE 2001 Special Issue of Concurrency and Computation: Practice and Experience, 2001.
5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley.
6. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques, Chapter Seven. Morgan Kaufmann, 1993.
7. D. Lea. ConcurrentProgrammingin Java, Design Principles and Patterns, First Edition. Addison-Wesley, 1999.
8. D. Lea. ConcurrentProgrammingin Java, Design Principles and Patterns, Second Edition. Addison-Wesley, 2000.
9. B. Lewis and D. J. Berg. A Guide to Multithreaded Programming. AppendixE. SunSoft Press. A PrenticeHall Title, 1996.
10. N. A. Lynch. Distributed Algorithms. Morgan Kaufmann, 1996.
11. S. D. Stoller. Testing concurrent Java programs using randomized scheduling. In Proceedings of the SecondWorkshop on Runtime Verification (RV), 2002.