ConTest listeners: A concurrency-oriented infrastructure for Java test and heal tools

SOQUA'07: Fourth International Workshop on Software Quality Assurance - In conjunction with the 6th ESEC/FSE Joint Meeting

Volumn , Issue , 2007, Pages 9-16

  Nir Buchbinder, Yarden ^a   Ur, Shmuel ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

Concurrency; Instrumentation; Java; Self healing; Testing

Indexed keywords

CONCURRENT MACHINE CONFIGURATION; REAL USER ENVIRONMENTS; SELF HEALING;

CODES (SYMBOLS); PERSONAL COMPUTERS; PROBLEM SOLVING; USER INTERFACES;

JAVA PROGRAMMING LANGUAGE;

EID: 41149102042     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1295074.1295077     Document Type: Conference Paper

References (16)

1. C. Artho, K. Havelund, and A. Biere. High-level data races. In WEIS'03, The First International Workshop on Verification and Validation of Enterprise Information Systems, April 2003.
2. AspectJ Team. The AspectJ programming guide. Version 1.5.3. Available from http://eclipse.org/aspectj, 2006.
3. J. Baker and W. Hsieh. Runtime aspect weaving through metaprogramming. In AOSD '02: Proceedings of the 1st international conference on Aspect-oriented software development, pages 86-95, 2002.
4. A. Bron, E. Farchi, Y. Magid, Y. Nir, and S. Ur. Applications of synchronization coverage. In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 206-212. ACM SIGPLAN, June 2005.
5. J.-D. Choi and H. Srinivasan. Deterministic replay of java multithreaded applications. In Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, pages 48-59, 1998.
6. S. Copty and S. Ur. Multi-threaded testing with aop is easy, and it finds bugs! In Proc. 11th International Euro-Par Conference, pages 740-749. LNCS, 2005.
7. S. Copty and S. Ur. Toward automatic concurrent debugging via minimal program mutant generation with aspectj. In TV06, 2006.
8. Eclipse Organization. Welcome to eclipse (plugin developer guide), http ://eclipse.org/documentation, 2005.
9. O. Edelstein, E. Farchi, Y. Nir, G. Ratzaby, and S. Ur. Multithreaded java program test generation. IBM Systems Journal, 41(3):111-125, 2002.
10. Y. Eytani, K. Havelund, S. D. Stoller, and S. Ur. Towards a framework and a benchmark for testing tools for multi-threaded programs: Research articles. Concurr. Comput. : Pract. Exper., 19(3):267-279, 2007.
11. E. Farchi, Y. Nir-Buchbinder, and S. Ur. Cross-run lock discipline checker for java. In Parallel and Distributed Systems: Testing and Debugging (PADTAD - 3), November 2005.
12. K. Havelund, S. D. Stoller, and S. Ur. Benchmark and framework for encouraging research on multi-threaded testing tools. In IPDPS '03: Proceedings of the 17th International Symposium on Parallel and Distributed Processing, page 286.1, 2003.
13. Mozilla FireFox. developer center. http://developer.mozilla.org/en/docs/ Main-Page.
14. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, November 1997.
15. J. Shore. Fail fast. IEEE Software, 21(5):21-25, Sept/Oct 2004.
16. S. D. Stoller. Model-checking multi-threaded distributed java programs. In Proceedings of the 7th International SPIN Workshop on Model Checking, pages 224-244, 2000.