Automatic extraction of object-oriented component interfaces

Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis

Volumn , Issue , 2002, Pages 221-231

  Whaley, John ^a   Martin, Michael C ^a   Lam, Monica S ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; LARGE SCALE SYSTEMS; OBJECT ORIENTED PROGRAMMING; PROGRAM DOCUMENTATION;

FINITE STATE MACHINE (FSM) SUBMODELS;

SOFTWARE ENGINEERING;

EID: 0036983315     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/566172.566212     Document Type: Conference Paper

References (27)

1. G. Ammons, R. Bodik, and J. Larus. Mining specifications. In Proceedings of the 29th ACM Symposium on Principles of Programming Languages, pages 4-16, 2002.
2. T. Ball and S. Rajamani. Automatically validating temporal safety properties of interfaces. In Proceedings of the SPIN 2001 Workshop on Model Checking of Software, pages 103-122, 2001.
3. W. R. Bush, J. D. Pincus, and D. J. Sielaff. A static analyzer for finding dynamic programming errors. Software - Practice and Experience (SPE), 30:775-802, 2000.
4. A. N. Habermann R. H. Campbell. The specification of process synchronization by path expressions. Lecture Notes on Computer Science, 16, 1974.
5. A. Chou, B. Chelf, D. Engler, and M. Heinrich. Using meta-level compilation to check FLASH protocol code. In Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems, pages 59-70, 2000.
6. M. Dahm. Byte code engineering library. http://bcel.sourceforge.net, 2000.
7. R. DeLine and M. Fahndrich. Enforcing high-level protocols in low-level software. In Proceedings of the ACM SIGPLAN'01 Conference on Programming Language Design and Implementation, pages 59-69, 2001.
8. D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In Proceedings of the Symposium on Operating Systems Design and Implementation, pages 1-16, 2000.
9. M. Ernst, J. Cockrell, W. Griswold, and David Notkin. Dynamically discovering likely program invariants to support program evolution. In Proceedings of the 1999 International Conference on Software Engineering (ICSE'99), pages 213-224, 1999.
10. J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its uses in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, 1987.
11. J. Girard. Linear logic. Theoretical Computer Science, 50(1):1-101, 1987.
12. G. Gottlob, M. Schrefl, and B. Rock. Extending object-oriented systems with roles. ACM Transactions on Information Systems, 14(3):268-296, 1996.
13. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the International Conference on Software Engineering, 2002.
14. M. Van Hilst and D. Notkin. Using C++ templates to implement role-based designs. Technical Report TR 95-07-02, Department of Computer Science and Engineering, University of Washington, 1996.
15. V. Kuncak, P. Lam, and M. Rinard. Role analysis. In Proceedings of the 29th Annual ACM Symposium on the Principles of Programming Languages, pages 17-32, 2002.
16. D. Lie, A. Chou, D. Engler, and D. Dill. A simple method for extracting models from protocol code. In Proceedings of the International Symposium on Computer Architecture, pages 192-203, 2001.
17. J. Lucassen and D. Gifford. Polymorphic effect systems. In Proceedings of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pages 47-57, 1988.
18. Sun Microsystems. Java 2 platform, enterprise edition. http://java.sun.com/j2ee/, 2001.
19. Sun Microsystems. Petstore application for the java 2 platform, enterprise edition. http://java.sun.com/features/2001/05/petstore.html, 2001.
20. J. Nimmer and M. Ernst. Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. In Electronic Notes in Theoretical Computer Science, volume 55, 2001.
21. S. P. Reiss and M. Renieris. Encoding program executions. In Proceedings of the International Conference on Software Engineering, pages 221-230, 2001.
22. R. Strom and D. Yellin. Extending typestate checking using conditional liveness analysis. Software Engineering, 19(5):478-485, 1993.
23. R. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. Software Engineering, 12(1):157-171, 1986.
24. P. Wadler. Linear types can change the world. In M. Broy and C. B. Jones, editors, IFIP TC 2 Working Conference on Programming Concepts and Methods, pages 561-581, 1990.
25. J. Whaley. The joeq virtual machine. http://sourceforge.net/projects/joeq, 2001.
26. R. Wiebicke. Linkverify. http://rw7.de/raff/htmltools/index.en.html, 1998.
27. Z. Xu, T. Reps, and B. Miller. Typestate checking of machine code. In Proceedings of the European Symposium on Programming, pages 335-351, 2001.