Object-oriented type inference
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Analyzing exception flow in Java programs
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Automated test-data generation for exception conditions
Software—Practice & Experience
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
Interprocedural exception analysis for Java
Proceedings of the 2001 ACM symposium on Applied computing
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Effective Java programming language guide
Effective Java programming language guide
Design and evaluation of a wide-area event notification service
ACM Transactions on Computer Systems (TOCS)
Proceedings of the Workshop on Object-Oriented Technology
Robustness Testing of Java Server Applications
IEEE Transactions on Software Engineering
Navigating error recovery code in Java applications
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
An analysis approach for testing exception handling programs
ACM SIGPLAN Notices
Exceptional situations and program reliability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic documentation inference for exceptions
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Visualization of exception handling constructs to support program understanding
Proceedings of the 4th ACM symposium on Software visualization
A model-based regression test selection approach for embedded applications
ACM SIGSOFT Software Engineering Notes
Fault localization and repair for Java runtime exceptions
Proceedings of the eighteenth international symposium on Software testing and analysis
Information Sciences: an International Journal
Divide-by-zero exception raising via branch coverage
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Practical exception specifications
Advanced Topics in Exception Handling Techniques
Amplifying tests to validate exception handling code
Proceedings of the 34th International Conference on Software Engineering
Synthesizing API usage examples
Proceedings of the 34th International Conference on Software Engineering
On exceptions, events and observer chains
Proceedings of the 12th annual international conference on Aspect-oriented software development
| Hi-index | 0.00 |
Although object-oriented languages can improve programmingpractices, their characteristics may introducenew problems for software engineers. One important problemis the presence of implicit control flow caused byexception handling and polymorphism. Implicit controlflow causes complex interactions, and can thus complicatesoftware-engineering tasks. To address this problem, wepresent a systematic and structured approach, for supportingthese tasks, based on the static and dynamic analyses ofconstructs that cause implicit control flow. Our approachprovides software engineers with information for supportingand guiding development and maintenance tasks. Wealso present empirical results to illustrate the potential usefulnessof our approach. Our studies show that, for thesubjects considered, complex implicit control flow is alwayspresent and is generally not adequately exercised.