Dynamic analysis of Java applications for multithreaded antipatterns

Proceedings of the 3rd International Workshop on Dynamic Analysis, WODA 2005

Volumn , Issue , 2005, Pages

  Boroday, S ^a   Petrenko, A ^a   Singh, J ^b   Hallal, H ^a  

^a Cent de Recherche Informatique de Montreal   (Canada)

^b Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

Antipatterns; Bug patterns; Bytecode; Instrumentation; Java; Multithreading

Indexed keywords

COMPUTER SOFTWARE; FORMAL VERIFICATION; MODEL CHECKING; SCALABILITY; VERIFICATION;

ANTI-PATTERNS; BUG PATTERNS; BYTECODES; INSTRUMENTATION; JAVA; MULTI-THREADING;

JAVA PROGRAMMING LANGUAGE;

EID: 84858012851     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1083246.1083247     Document Type: Conference Paper

References (27)

1. Allen, E. Bug Patterns in Java. Springer, 2002.
2. Andrews, J.H. Deriving State-Based Test Oracles for Conformance Testing. In Proceedings of the Second International Workshop on Dynamic Analysis (WODA 2004), (Edinburgh, Scotland, May 2004), 9-16.
3. Bacon, D., Block, J., Bogda, J., Click, C., Haahr, P., Lea, D., May, T., Maessen, J.-W., Mitchell, J., Nilsen, K., Pugh, B., and Sirer, E.G. The "Double-Checked Locking is Broken" Declaration. http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html.
4. Clarke, E.M., Grumberg, O., and Long, D. Model Checking. MIT Press, 2000.
5. Cohen, S. JTrek.
6. Eclipse Platform. http://www.eclipse.org/.
7. Engler, D., and Musuvathi, M. Static Analysis versus Software Model Checking for Bug Finding. In Proceeding of the Verification, Model Checking and Abstract Interpretation (VMCAI'04), (Venice, Italy, January 2004), 191-210.
8. Hallal, H., Alikacem, E., Tunney, P., Boroday, S., and Petrenko, A. Antipattern-based Detection of Deficiencies in Java Multithreaded Software. In Proceedings of the Fourth International Conference on Quality Software (QSIC2004), (Braunschweig, Germany, September 8-10, 2004), 258-267.
9. Hallal, H., Boroday, S., Ulrich, A., and Petrenko, A. An Automata-based Approach to Property Testing in Event Traces. In Proceedings of the International Conference on Testing of Communicating Systems (TestCom 2003), (Sophia Antipolis, France, May 26-29, 2003), 180-196.
10. Havelund, K., and Rosu, G. Monitoring Java Programs with Java PathExplorer. In Proceeding of First Workshop on Runtime Verification (RV'01), (Paris, France, July 23, 2001).
11. Havelund, K., Johnson, S., and Rosu, G. Specification and Error Pattern Based Program Monitoring. In Proceeding of European Space Agency Workshop on On-Board Autonomy, (Noordwijk, Holland, October 2001).
12. Havelund, K., Stoller, S., and Ur, S. Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools. In Proceedings of the Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), (Nice, France, April 22-26, 2003).
13. Hewlett-Packard Company. Visual Threads Home. http://h21007.www2.hp.com/dspp/tech/tech-TechSoftwareDetailPage-IDX/1, 1703, 5062, 00.html.
14. Holzmann, G. J. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2003.
15. Hyades Project. http://www.eclipse.org/hyades/.
16. Java MultiPathExplorer. JMPaX 2.0. http://yangtze.cs.uiuc.edu/~ksen/jmpax/web 2005.
17. Magnin, L., Pham, V.T., Dury, A., Besson, N., and Thiefaine, A. Our guest agents are welcome to your agent platforms. In Proceedings of the ACM Symposium on Applied Computing (SAC 2002), (Madrid, Spain, March 10- 14, 2002), 107-114.
18. Naumovich, G., Avrunin, G.S., and Clarke, L. A. Data Flow Analysis for Checking Properties of Concurrent Java Programs. In Proceedings of the 21st International Conference on Software Engineering, (May 1999), 399-410.
19. Petrenko, A., Boroday, S., and Groz, R. Confirming Configurations in EFSM Testing. IEEE Transactions on Software Engineering, 30, 1, (January 2004), 29-42.
20. Quest Software. JProbe. http://www.quest.com/jprobe.
21. Runtime Monitoring and Checking. http://www.cis.upenn.edu/~rtg/mac/, 2005.
22. Rutar, N., Almazan, C.B., and Foster, J. S. A Comparison of Bug Finding Tools for Java. In Proceeding of 15th IEEE International Symposium on Software Reliability Engineering (ISSRE'04), (Saint-Malo, France, November 2004), 245-256.
23. Sammapun, S., Sharykin, R., DeLap, M., Kim, M., and Zdancewic, S. Formalizing Java-Ma C. Electr. Notes Theor. Comput. Sci. 89, 2, (2003).
24. Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., and Anderson, T. Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Trans. on Comp. Syst., 15, 4, (November 1997), 391-411.
25. Sen, K., Rosu, G., and Agha, G. Online Efficient Predictive Safety Analysis of Multithreaded Programs. In Proceedings of 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), (Barcelona, Spain, March 2004), 123-138.
26. Spec Patterns. http://patterns.projects.cis.ksu.edu/, 2005.
27. Sun Microsystems. Java. http://sun.Java.com, 2005.