Concurrent Java Test Generation as a Search Problem

Electronic Notes in Theoretical Computer Science

Volumn 144, Issue 4 SPEC. ISS., 2006, Pages 57-72

  Eytani, Yaniv ^a  

^a UNIVERSITY OF HAIFA   (Israel)

Author keywords

concurrent Java; geneticFinder; Random test generator

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE; GENETIC ALGORITHMS; ITERATIVE METHODS; PROGRAM DEBUGGING; SCHEDULING;

CONCURRENT JAVA; GENETICFINDER; RANDOM TEST GENERATOR;

JAVA PROGRAMMING LANGUAGE;

EID: 33646561797     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.02.004     Document Type: Article

References (20)

1. Artho C., Havelund K., and Biere A. High-level data races. Software Testing, Verification & Reliability 13 4 (2003) 207-227
2. Y. Ben-Asher, Y. Eytani, and E. Farchi, "Heuristics for Finding Concurrent Bugs," Workshop on Parallel and Distributed Testing and Debugging, Nice, 2003
3. Shannon C.E. A Mathematical Theory of Communication. Bell System Tech. J. 27 (1948) 379-423 623-659
4. J.D. Choi, M. Gupta, M. Serrano, V. Sreedhar, and S. Midkiff. "Escape Analysis for Java". Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 1999
5. Edelstein O., Farchi E., Goldin E., Nir Y., Ratsaby G., and Ur S. Framework for Testing Multithreaded Java Programs. Concurrency and Computation: Practice and Experience 15 3-5 (2003) 485-499
6. Y. Eytani."Efficient Framework for Finding Concurrent Bugs in Java". Master's thesis. Computer Science department, University of Haifa, Submitted
7. Y. Eytani, K. Havelund, S.D. Stoller, and S. Ur. "Toward a Framework and Benchmark for Testing Tools for Multi-Threaded Programs". Concurrency and Computation: Practice & Experience, to appear
8. E. Farchi, Y. Nir, and S. Ur. "Concurrent Bug Patterns and How to Test Them." In Workshop on Parallel and Distributed Systems: Testing and Debugging, 2003
9. S. Fine, A. Ziv. "Coverage Directed Test Generation for Functional Verification Using Bayesian Networks."In proceeding of DAC, 2003
10. S. Fine, S. Ur, A. Ziv. "Probabilistic Regression Suites for Functional Verification."In proceeding of DAC, 2004
11. Finkbeiner B., Sankaranarayanan S., and Sipma H. Collecting Statistics over Runtime Executions. the Second Workshop on Runtime Verification (RV). Electronic Notes in Theoretical Computer Science 70 4 (2002) Elsevier
12. C. Flanagan and S.N. Freund. "Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs."31st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Jan 2004
13. Goldberg D.E., and Burch R. Genetic Algorithms in Search, Optimization, and Machine Learning (1989), AW Publ.
14. K. Havelund. "Using Runtime Analysis to Guide Model Checking of Java Programs". In proceeding of SPIN, 2000
15. B. Long and P.A. Strooper. "A Classification of Concurrency Failures in Java Components." In Workshop on Parallel and Distributed Systems: Testing and Debugging, 2003
16. Savage S., Burrows M., Nelson G., Sobalvarro P., and Anderson T. Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Transactions on Computer Systems (1997)
17. Stoller S.D. Testing Concurrent Java Programs Using Randomized Scheduling. the Second Workshop on Runtime Verification (RV). Electronic Notes in Theoretical Computer Science 70 4 (2002) Elsevier
18. Visser W., Havelund K., Brat G., Park S., and Lerda F. Model Checking Programs. International Journal on Robust Software Engineering 10 2 (April 2003)
19. Wang L., and Stoller S.D. Run-time Analysis for Atomicity. the Third Workshop on Runtime Verification (RV). Electronic Notes in Theoretical Computer Science 89 2 (2003) Elsevier
20. Clark J., Dolado J.J., Harman M., Hierons R., Jones B., Lumkin M., Mitchell B., Mancoridis S., Rees K., Roper M., and Shepperd M. Reformulating Software Engineering as a Search Problem. IEE Proceedings - Software 150 3 (2003) 161-175