No Java without caffeine: A tool for dynamic analysis of Java programs

Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2002, Pages 117-126

  Gueheneuc Y G ^a   Douence, R ^a   Jussien, N ^a  

^a ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CAFFEINE; CODES (SYMBOLS); JAVA PROGRAMMING LANGUAGE; PROGRAM DOCUMENTATION; PROLOG (PROGRAMMING LANGUAGE); SOFTWARE ENGINEERING;

DYNAMIC ANALYSIS TOOLS; DYNAMIC INFORMATION; EXECUTION HISTORY; JAVA PLATFORMS; N-QUEENS PROBLEMS; SINGLETON DESIGN PATTERNS; STATIC INFORMATION; USAGE SCENARIOS;

COMPUTER SOFTWARE;

EID: 84982057105     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2002.1115000     Document Type: Conference Paper

References (30)

1. H. Albin-Amiot, P. Cointe, Y.-G. Guéhéneuc, and N. Jussien. Instantiating and detecting design patterns: Putting bits and pieces together. In D. Richardson, M. Feather, and M. Goedicke, editors, Proceedings of ASE, pages 166-173. IEEE Computer Society Press, November 2001.
2. K. Beck. Extreme Programming Explained: Embraced Change. Addison-Wesley, 1999.
3. B. Bezier. Software Testing Techniques. Van Nostrand Rheinhold Company, New York, 1990.
4. G. Brat, K. Havelund, S.-J. Park, and W. Visser. Java PathFinder - A second generation of a Java model checker, July 2000. Workshop on Advances in Verification.
5. S. Chiba. Javassist - A reflection-based programming wizard for Java. In J.-C. Fabre and S. Chiba, editors, Proceedings of the Workshop on Reflective Programming in C++ and Java at OOPSLA'98. UTCCP Report 98-4, Center for Computational Physics, University of Tsukuba, Japan, October 1998.
6. U. Chirico. JIProlog, April 2002. Available at: http://www.ugosweb.com/jiprolog.
7. L. A. Clarke, A. Podgurski, D. J. Richardson, and S. J. Zeil. A formal evaluation of data flow path selection criteria. IEEE Transaction on Software Engineering, 15(11):1318-1332, November 1989.
8. J. Corbett, M. Dwyer, J. Hatcliff, and Robby. Expressing checkable properties of dynamic systems: The Bandera specification language. Technical Report KSU CIS Technical Report 2001-04, Kansas State University, 2001. Submitted for journal publication.
9. M. Dimitriev. HotSwap technology application for advanced profiling. In Proceedings of the International Workshop on Unanticipated Software Evolution, June 2002. Available at: http://joint.org/use2002/sub/.
10. M. Ducassé. Coca: A debugger for C based on fine grained control flow and data events. In D. Garlan and J. Kramer, editors, Proceedings of ICSE, pages 504-513. ACM Press, May 1999.
11. M. Ducassé. OPIUM: An extendable trace analyser for Prolog. In A. Bossi and Y. Deville, editors, The Journal of Logic Programming, Special Issue on Synthesis, Transformation and Analysis of Logic Programs, volume 41. Elsevier - North Holland, November 1999.
12. E. Gamma. JHotDraw, 1998. Available at http:// members.pingnet.ch/gamma/JHD-5.1.zip.
13. E. Gamma and K. Beck. Test infected: Programmers love writing tests. Java Report, 3(7), July 1998.
14. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
15. M. Greenwood. CFParse Distribution. IBM Alpha-Works, September 2000.
16. Y.-G. Guéhéneuc. Caffeine, May 2002. Available at: http://www.yann-gael.gueheneuc.net/.
17. Y.-G. Guéhéneuc, H. Albin-Amiot, R. Douence, and P. Cointe. Bridging the gapbetween modeling and programming languages. Technical Report 02/09/INFO, École des Mines de Nantes, July 2002.
18. Y.-G. Guéhéneuc, R. Douence, and N. Jussien. No Java without Caffeine - A tool for dynamic analysis of Java programs. Technical Report 02/07/INFO,École des Mines de Nantes, May 2002.
19. K. Havelund and G. Roşu. Synthesizing monitors for safety properties. In Proceedings of TACAS, volume 2280, pages 342-356. Springer-Verlag, April 2002.
20. P. V. Hentenryck and M. Dincbas. Forward checking in logic programming. In J.-L. Lassez, editor, Logic Programming: Proceedings of the Fourth International Conference (Volume 1), pages 229-256. MIT Press, Cambridge, MA, 1987.
21. W. L. Johnson and A. Erdem. Interactive explanation of software systems. In Proceedings of the Knowledge Based Software Engineering Conference, pages 155-164. IEEE Computer Society, November 1995.
22. R. Lencevicius, U. Hölzle, and A. K. Singh. Dynamic query-based debugging. In R. Guerraoui, editor, Proceedings of ECOOP, pages 135-160. Springer-Verlag, June 1999.
23. H. Lieberman and C. Fry. Bridging the gulf between code and behavior in programming. In I. R. Katz, R. L. Mack, L. Marks, M. B. Rosson, and J. Nielsen, editors, Proceedings of CHI, pages 480-486. ACM Press, May 1995.
24. D. J. Murray and D. E. Parson. Automated debugging in java using OCL and JDI. In M. Ducassé, editor, Proceedings of the 4th Workshop on Automated Debugging, August 2000.
25. Object Technology International, Inc. Eclipse platform - A universal tool platform, July 2001. Available at: http://www.eclipse.org/.
26. A. Popovici, T. Gross, and G. Alonso. Dynamic weaving for aspect oriented programming. In G. Kiczales, editor, Proceedings of the 1st International Conference on Aspect-Oriented Software Development. ACM Press, April 2002.
27. E. Soloway, J. Pinto, S. Letovsky, D. Littman, and R. Lampert. Designing documentation to compensate for delocalized plans. Communication of the ACM, 31(11):1259-1267, November 1988.
28. Sun Microsystems, Inc. Java platform debug architecture, 2002. Available at: http://java.sun.com/products/jpda/.
29. W. Visser, K. Havelund, G. Brat, and S.-J. Park. Model checking programs. In Y. Ledru, P. Alexander, and P. Flener, editors, Proceedings of ASE, p ages 3-12. IEEE Computer Society Press, September 2000.
30. I. Welch and R. Stroud. Kava - A reflective Java based on bytecode rewriting. In R. Raj and Y.-M. Wang, editors, Proceedings of USENIX Conference on Object-Oriented Technology, January 2001.