Mining object behavior with ADABU

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 17-23

  Dallmeier, Valentin ^a   Lindig, Christian ^a   Wasylkowski, Andrzej ^a   Zeller, Andreas ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

automata; inspector method; java; mining; object behavior model; object state; observer method; program analysis; program instrumentation; purity analysis

Indexed keywords

OBJECT BEHAVIOR; OBJECT BEHAVIOR MODEL; PROGRAM ANALYSIS; PURITY ANALYSIS; STATE OBSERVER;

AUTOMATA THEORY; CONTOUR FOLLOWERS; DYNAMIC ANALYSIS; INSTRUMENTS; JAVA PROGRAMMING LANGUAGE; TRANSLATION (LANGUAGES);

COMPUTER SOFTWARE;

EID: 77953578234     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138912.1138918     Document Type: Conference Paper

References (17)

1. Glenn Ammons, Rastislav Bodík, and Jim Larus. Mining specifications. In Conference Record of POPL'02: The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 4-16, Portland, Oregon, January 16-18, 2002.
2. Shigeru Chiba and Muga Nishizawa. An easy-to-use toolkit for efficient Java bytecode translators. In Proceedings of the 2nd International Conference of Generative Programming and Component Engineering, pages 364-376, 2003.
3. J. Cook and A. Wolf. Discovering Models of Software Processes from Event-Based Data. ACM Transactions on Software Engineering and Methodology, 7(3):215-249, July 1998. (Pubitemid 128658170)
4. Valentin Dallmeier, Christian Lindig, and Andreas Zeller. Lightweight defect localization for Java. In Andrew Black, editor, European Conference on Object-Oriented Programming (ECOOP), pages 528-550, 2005.
5. Michael D. Ernst, Jake Cockrell, William G. Griswold, and David Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1-25, February 2001.
6. Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Permissive interfaces. In Proceedings of the Symposium on the Foundations of Software Enginnering, 2005.
7. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of AspectJ. In Jorgen Lindskov Knudsen, editor, Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP), volume 2072 of Lecture Notes in Computer Science, pages 327-353, 2001.
8. Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, and Michael I. Jordan. Scalable statistical bug isolation. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 15-26, June 2005.
9. Martin Rinard. Flex. http://www.flex-compiler.lcs. mit.edu/, 2002. Compiler infrastructure.
10. Atanas Rountev. Precise identification of side-effect-free methods in Java. In Panos Linos, editor, 20th IEEE International Conference on Software Maintenance (ICSM '04), pages 82-91, 2004.
11. Alexandru Salcianu and Martin Rinard. Purity and side effect analysis for Java programs. In Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation, number 3385 in LNCS, pages 199-215, January 2005.
12. Timo Stich and Frederik Dietz. Columba. http:// columbamail.org/, 2005. Open-source email client, implemented in Java.
13. Westley Weimer and George C. Necula. Mining temporal specifications for error detection. In Nicolas Halbwachs and Lenore D. Zuck, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), pages 461-476, Edinburgh, UK, April 4-8 2005.
14. John Whaley, Michael Martin, and Monica Lam. Automatic extraction of object-oriented component interfaces. In Phyllis G. Frankl, editor, Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA-02), volume 27(4) of SOFTWARE ENGINEERING NOTES, pages 221-231, New York, July 22-24 2002. ACM Press.
15. Tao Xie, Evan Martin, and Hai Yuan. Automatic extraction of abstract-object-state machines from unit-test executions. In Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), Research Demonstrations, May 2006.
16. Tao Xie and David Notkin. Automatic extraction of object-oriented observer abstractions from unit-test executions. In Proceedings of the 6th International Conference on Formal Engineering Methods (ICFEM 2004), pages 290-305, November 2004.
17. Jinlin Yang and David Evans. Dynamically inferring temporal properties. In Cormac Flanagan and Andreas Zeller, editors, Proceedings of the Workshop on Program Analysis For Software Tools and Engineering (PASTE'04), pages 23-28, June 2004.