Automated support for development, maintenance, and testing in the presence of implicit control flow

Proceedings - International Conference on Software Engineering

Volumn 26, Issue , 2004, Pages 336-345

  Sinha, Saurabh ^a   Orso, Alessandro ^a   Harrold, Mary Jean ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX IMPLICIT CONTROL FLOW; EXCEPTION HANDLING; POLYMORPHISM; PROCEDURAL PROGRAMS;

AUTOMATION; COMPUTER OPERATING SYSTEMS; COMPUTER SCIENCE; COMPUTER SOFTWARE MAINTENANCE; COMPUTER SYSTEM RECOVERY; ENCODING (SYMBOLS); FAULT TOLERANT COMPUTER SYSTEMS; INFORMATION RETRIEVAL; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; WORLD WIDE WEB;

SOFTWARE ENGINEERING;

EID: 4544328131     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Aristotle Research Group. JABA: Java Architecture for Bytecode Analysis. http://www.cc.gatech.edu/aristotle/Tools/jaba.html, 2003.
2. J. Bloch. Effective Java: Programming Language Guide. Addison-Wesley, Reading, MA, 2001.
3. A. Carzaniga, D. S. Rosenblum, and A. L. Wolf. Design and evaluation of a wide-area event notification service. ACM Transactions on Computer Systems, 19(3):332-383, August 2001.
4. B. M. Chang, J. W. Jo, K. Yi, and K. M. Choe. Interprocedural exception analysis for Java. In Proceedings of the 16th ACM Symposium on Applied Computing, pages 620-625, Mar. 2001.
5. R. Chatterjee and B. G. Ryder. Data-flow-based testing of object-oriented libraries. Technical Report DCS-TR-382, Department of Computer Science, Rutgers University, Mar. 1999.
6. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. 27(2):1-25, Feb. 2001.
7. C. Fu, R. P. Martin, K. Nagaraja, T. D. Nguyen, B. G. Ryder, and D. Wonnacott. Compiler directed program-fault coverage for highly available Java internet services. In Proceedings of the 2003 International Conference on Dependable Systems and Networks, pages 595-604, June 2003.
8. J. Palsberg and M. Schwartzbach. Object-oriented type inference. In Conference Proceedings on Object-Oriented Programming Systems, Languages, and Applications, pages 146-161, Oct. 1991.
9. D. Reimer and H. Srinivasan. Analyzing exception usage in large Java applications. In Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms, pages 10-19, July 2003.
10. M. P. Robillard and G. C. Murphy. Analyzing exception flow in Java programs. In Proceedings of ESEC/FSE '99 7th European Software Engineering Conference and 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, volume 1687 of Lecture Notes in Computer Science, pages 322-337. Springer-Verlag, Sept. 1999.
11. B. G. Ryder, D. Smith, U. Kremer, M. Gordon, and N. Shah. A static study of Java exceptions using JSEP. In Proceedings of the 9th International Conference on Compiler Construction, volume 1781 of Lecture Notes in Computer Science, pages 67-81. Springer-Verlag, Apr. 2000.
12. M. D. Scheemaecker. NANOXML: A small XML parser for Java. http://nanoxml.n3.net, 2002.
13. S. Sinha and M. J. Harrold. Analysis and testing of programs with exception-handling constructs. IEEE Trans. Softw. Eng., 26(9):849-871, Sept. 2000.
14. S. Sinha, A. Orso, and M. J. Harrold. Analysis and testing of programs with exception-handling constructs. Technical Report GITCC-03-48, Georgia Institute of Technology, Sept. 2003.
15. N. Tracey, J. Clark, K. Mander, and J. McDermid. Automated test-data generation for exception conditions. Software-Practice and Experience, 30(1):61-79, Jan. 2000.
16. K. Yi and B. M. Chang. Exception analysis for Java. In Proceedings of the ECOOP '99 Workshop on Formal Techniques for Java Programs, volume 1743 of Lecture Notes in Computer Science, pages 111-112. Springer-Verlag, June 1999.