Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Set-based analysis of ML programs
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Fast static analysis of C++ virtual function calls
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
Java Virtual Machine Specification
Java Virtual Machine Specification
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Visualization of Exception Propagation for Java Using Static Analysis
SCAM '02 Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation
Criteria for Testing Exception-Handling Constructs in Java Programs
ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
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
Robustness Testing of Java Server Applications
IEEE Transactions on Software Engineering
Using fault injection and modeling to evaluate the performability of cluster-based services
USITS'03 Proceedings of the 4th conference on USENIX Symposium on Internet Technologies and Systems - Volume 4
Scaling Java points-to analysis using SPARK
CC'03 Proceedings of the 12th international conference on Compiler construction
Visualization of exception handling constructs to support program understanding
Proceedings of the 4th ACM symposium on Software visualization
Hi-index | 0.00 |
Java provides a program-level exception handling mechanism in response to error conditions (that are translated into exceptions by Java VM). However, exception handling code is often widely scattered throughout an application and untested. This paper presents a program visualization tool ExTest that shows quite precisely all the handlers for exceptions triggered by certain kinds of operations, and for each of these handlers, all the witness paths of how the operation would be triggered. Thus, ExTest helps programmers understand the exception handling behavior of Java programs and also facilitates testing exception handling code.