Software errors and complexity: an empirical investigation0
Communications of the ACM
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
The program summary graph and flow-sensitive interprocedual data flow analysis
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Incremental data flow analysis via dominator and attribute update
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A precise inter-procedural data flow algorithm
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
RISC I: A Reduced Instruction Set VLSI Computer
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
Incremental testing of object-oriented class structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
A Unified Interprocedural Program Representation for a Maintenance Environment
IEEE Transactions on Software Engineering
Double iterative framework for flow-sensitive interprocedural data flow analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Efficient computation of interprocedural definition-use chains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
Complexity of Points-To Analysis of Java in the Presence of Exceptions
IEEE Transactions on Software Engineering
A schema for interprocedural modification side-effect analysis with pointer aliasing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
Empirical Software Engineering
Interprocedural Def-Use Associations for C Systems with Single Level Pointers
IEEE Transactions on Software Engineering
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Criteria for Testing Polymorphic Relationships
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Dynamic capabilities in the software process
International Journal of Information Technology and Management
Integrating Component Tests to System Tests
Electronic Notes in Theoretical Computer Science (ENTCS)
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Testing techniques in software engineering
Testing techniques in software engineering
A method for test suite reduction for regression testing of interactions between software modules
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Evaluating structural criteria for testing mobile code
EASE'08 Proceedings of the 12th international conference on Evaluation and Assessment in Software Engineering
Hi-index | 0.00 |
The extension of dataflow testing to interprocedural testing is described. This was done by developing both an analysis technique that computes the required interprocedural definition-use information, for both direct and indirect dependencies and a testing technique that uses this information in selecting and executing the subpaths across procedure boundaries. A testing tool that implements this technique is presented. For the interprocedural dataflow analysis, the technique summarizes the individual procedures' definition and use information at call sites and then propagates this information throughout the interacting procedures. By efficiently computing the interprocedural data dependencies before testing, the approach lets the testing tool use existing path-selection techniques based on dataflow for interprocedural testing. To track the execution path, the technique recognizes the calls to and returns from procedures and handles the association of various names with a definition as the execution path is being inspected. The technique handles recursive procedures and supports separate compilation of procedures.