Isolating failure-inducing thread schedules

Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis

Volumn , Issue , 2002, Pages 210-220

  Choi, Jong Deok ^a   Zeller, Andreas ^b  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; ERRORS; JAVA PROGRAMMING LANGUAGE; MULTITASKING; PROGRAM DEBUGGING;

MULTI-THREADED APPLICATIONS;

COMPUTER APPLICATIONS;

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

References (21)

1. B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. F. Mergen, T Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Shepherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley. The Jalapeño virtual machine. IBM System Journal, 39(1):211-238, Feb. 2000. Available online at http://www.research.ibm.com/journal/sj39-1.html.
2. J.-D. Choi, B. Alpern, T. Ngo, M. Sridharan, and J. Vlissides. A perturbation-free replay platform for cross-optimized multithreaded applications. In Proceedings of the 15th IEEE International Parallel & Distributed Processing Symposium, April 2001.
3. J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2002. To appear.
4. J. C. Corbett. Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering, 22(3):161-180, 1996.
5. Delta debugging web site. http://www.st.cs.uni-sb.de/dd/.
6. Dejavu web site. http://www.research.ibm.com/jalapeno/dejavu/.
7. O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur. Multithreaded Java program test generation. IBM Systems Journal, 41 (1): 111-125, Feb. 2002. Available online at http:[/www.research.ibm.com/journal/sj41-1.html.
8. K. Havelund. Using runtime analysis to guide model checking of Java programs. In Proc. of the 7th SPIN Workshop on Model Checking of Software, volume 1885 of Lecture Notes in Computer Science, pages 245-264, Stanford University, California, Aug. 2000. Springer.
9. IEEE, New York. Test Methods for Measuring Conformance to POSIX, 1991. ANSI/IEEE Standard 1003.3-1991. ISO/IEC Standard 13210-1994.
10. J. Krinke. Static slicing of threaded programs. In Proc. ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), pages 35-42, Montreal, Canada, June 1998.
11. S.P. Masticola and B. G. Ryder. Non-concurrency analysis. In Proceedings of the Fourth ACM SIGPLAN Symposium on on Principles and Practices of Parallel Programming, pages 129-138, May 1993.
12. G. Naumovich and G. S. Avrunin. A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel. In Proceedings of the ACM SIGSOFT Sixth International Symposium on the Foundations of Software Engineering (FSE), pages 24-34, November 1998.
13. G. Naumovich, G. S. Avrunin, and L. A. Clarke. An efficient algorithm for computing MHP information for concurrent java programs. In Proceedings of the Seventh European Software Engineering Conference and Seventh ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pages 338-354, September 1999.
14. C. v. Praun and T. Gross. Object race detection. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, 2001.
15. G. Ramalingam. Context-sensitive synchronization-sensitive analysis is undecidable. ACM Transactions on Programming Languages and Systems, 22(2):416-430, March 2000.
16. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. E. Anderson. Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
17. Standard Performance Evaluation Corporation (SPEC), Warrenton, Virginia. JVM98 Benchmarks, 1.03 edition, 1999.
18. N. Sterling. Warlock: A static data race analysis tool. In USENIX Winter Technical Conference, pages 97-106, 1993.
19. J.M. Stone. Debugging concurrent processes: A case study. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 145-154, June 1988.
20. A. Zeller. Isolating cause-effect chains from computer programs. Technical report, Universität des Saarlandes, FR Informatik, Mar. 2002. Submitted for publication; available online [5].
21. A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 28(2): 183-200, Feb. 2002.