A systematic approach for implementing fault tolerant software designs in Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
A study on exception detection and handling using aspect-oriented programming
Proceedings of the 22nd international conference on Software engineering
Designing robust Java programs with exceptions
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Encapsulating objects with confined types
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Extended static checking for Java
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Journal of Systems and Software
Thinking in Java
Fault tolerance and exception handling in BETA
Advances in exception handling techniques
A fully object-oriented exception handling system: rationale and smalltalk implementation
Advances in exception handling techniques
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Static analysis to support the evolution of exception structure in object-oriented systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
Proceedings of the 26th International Conference on Software Engineering
An uncaught exception analysis for Java
Journal of Systems and Software
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Robustness Testing of Java Server Applications
IEEE Transactions on Software Engineering
Exceptional situations and program reliability
ACM Transactions on Programming Languages and Systems (TOPLAS)
EJFlow: taming exceptional control flows in aspect-oriented programming
Proceedings of the 7th international conference on Aspect-oriented software development
Automatic documentation inference for exceptions
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Improving robustness of evolving exceptional behaviour in executable models
Proceedings of the 4th international workshop on Exception handling
Specification Mining with Few False Positives
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Finding bugs in exceptional situations of JNI programs
Proceedings of the 16th ACM conference on Computer and communications security
JET: exception checking in the Java native interface
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
On exceptions, events and observer chains
Proceedings of the 12th annual international conference on Aspect-oriented software development
Hi-index | 0.00 |
Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification systems are impractical in a number of ways. In particular, they are too low-level, too heavyweight, and do not provide adequate support for describing exception policies. We have identified the essential properties of a practical exception specification system and we present a methodology and tool that provides integrated support for specifying understanding, and evolving exception policies. The annotations required of the programmer are lightweight and easier to maintain than those of current systems; in our studies we observed a 50% to 93% reduction in annotations. By leveraging these annotations, our system provides scalable support for understanding exception flow and for modifying exception annotations.