Information-flow and data-flow analysis of while-programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Advanced compiler optimizations for supercomputers
Communications of the ACM - Special issue on parallelism
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
The program dependence graph in static program testing
Information Processing Letters
Integrating non-intering versions of programs
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the adequacy of program dependence graphs for representing programs
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantics of program dependence
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
A rewriting semantics for program dependence graphs
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Programmers use slices when debugging
Communications of the ACM
Certification of programs for secure information flow
Communications of the ACM
Theory of Program Structures: Schemes, Semantics, Verification
Theory of Program Structures: Schemes, Semantics, Verification
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
The Implications of Program Dependences for Software Testing, Debugging,
The Implications of Program Dependences for Software Testing, Debugging,
Program slices: formal, psychological, and practical investigations of an automatic program abstraction method
A theory of error-based testing
A theory of error-based testing
The use of data flow information for the selection and evaluation of software test data
The use of data flow information for the selection and evaluation of software test data
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
Approximate Reasoning About the Semantic Effects of Program Changes
IEEE Transactions on Software Engineering
CASE tool architecture for knowledge-based regression testing
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Software requirements validation via task analysis
Journal of Systems and Software
"Breaking the code", moving between private and public work in collaborative software development
GROUP '03 Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work
Proceedings of the 2007 international ACM conference on Supporting group work
Slicing for modern program structures: a theory for eliminating irrelevant loops
Information Processing Letters
| Hi-index | 0.00 |
This paper presents a formal, general model of program dependencies. Two generalizations of control and data dependence, called weak and strong syntactic dependence, are presented. Some of the practical implications of program dependencies are determined by relating weak and strong syntactic dependence to a relation called semantic dependence. Informally, one program statement is semantically dependent on another if the latter statement can affect the execution behavior of the former. It is shown that weak syntactic dependence is a necessary condition for semantic dependence, but that neither weak nor strong syntactic dependence are sufficient conditions. The implications of these results for software testing, debugging, and maintenance are then explored.