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
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
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
The significance of program dependences for software testing, debugging, and maintenance
The significance of program dependences for software testing, debugging, and maintenance
Mathematical Theory of Computation
Mathematical Theory of Computation
Improving the accuracy of data race detection
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Dynamic slicing in the presence of unconstrained pointers
TAV4 Proceedings of the symposium on Testing, analysis, and verification
The use of program dependence graphs in software engineering
ICSE '92 Proceedings of the 14th international conference on Software engineering
Developing and integrating ProDAG in the Arcadia environment
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
The Task Dependence Net in Ada software development
ACM SIGAda Ada Letters
Automated assistance for program restructuring
ACM Transactions on Software Engineering and Methodology (TOSEM)
An information flow model of fault detection
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Direct update of data flow representations for a meaning-preserving program restructuring tool
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Analysis of timing hazards in Ada programs
CSC '93 Proceedings of the 1993 ACM conference on Computer science
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A new model of program dependences for reverse engineering
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating testing and analysis tools with Aria
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software error analysis: a real case study involving real faults and mutations
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A framework for generalized control dependence
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Software testing at the architectural level
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Extracting Reusable Functions by Flow Graph-Based Program Slicing
IEEE Transactions on Software Engineering
Automated construction of testing and analysis tools
ICSE '94 Proceedings of the 16th international conference on Software engineering
Semantics Guided Regression Test Cost Reduction
IEEE Transactions on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Task dependence nets for concurrent systems with Ada 95 and its applications
Proceedings of the conference on TRI-Ada '97
Computation of interprocedural control dependence
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Architecture-level dependence analysis in support of software maintenance
ISAW '98 Proceedings of the third international workshop on Software architecture
On assessing the complexity of software architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
Hardware/software co-design: VHDL and Ada 95 code migration and integrated analysis
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Dependency analysis of Ada programs
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Reuse-driven interprocedural slicing
Proceedings of the 20th international conference on Software engineering
Black-box test reduction using input-output analysis
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Interprocedural control dependence
ACM Transactions on Software Engineering and Methodology (TOSEM)
Slicing Software for Model Construction
Higher-Order and Symbolic Computation
Programming faults and errors: Towards a theory of software incorrectness
Annals of Software Engineering
Performance Analytic Models and Analyses for Workflow Architectures
Information Systems Frontiers
An overview of methods for dependence analysis of concurrent programs
ACM SIGPLAN Notices
Software requirements validation via task analysis
Journal of Systems and Software
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
Architecture-based SW process model
ACM SIGSOFT Software Engineering Notes
From relational program dependencies to hypertextual access structures
Nordic Journal of Computing
A component-based software configuration management model and its supporting system
Journal of Computer Science and Technology
Better Slicing of Programs with Jumps and Switches
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Dependence Analysis of Java Bytecode
COMPSAC '00 24th International Computer Software and Applications Conference
Static Dependency Analysis for Concurrent Ada 95 Programs
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Algorithms for computing the static single assignment form
Journal of the ACM (JACM)
Whole program Path-Based dynamic impact analysis
Proceedings of the 25th International Conference on Software Engineering
Slicing java programs that throw and catch exceptions
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Extending Software Change Impact Analysis into COTS Components
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Analyzing the Impact of Changing Requirements
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
An Implementation of and Experiment with Semantic Differencing
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
A Program Dependence Model for Concurrent Logic Programs and Its Applications
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
A dynamic protocol conformance test method
Journal of Systems and Software
An Empirical Comparison of Dynamic Impact Analysis Algorithms
Proceedings of the 26th International Conference on Software Engineering
ACM SIGPLAN Notices
RIFLE: An Architectural Framework for User-Centric Information-Flow Security
Proceedings of the 37th annual IEEE/ACM International Symposium on Microarchitecture
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 27th international conference on Software engineering
Using dynamic information flow analysis to detect attacks against applications
SESS '05 Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications
An empirical study of the strength of information flows in programs
Proceedings of the 2006 international workshop on Dynamic systems analysis
An efficient interprocedural dynamic slicing method
Journal of Systems and Software
Testing AspectJ programs using fault-based testing
Proceedings of the 3rd workshop on Testing aspect-oriented programs
Discovering accurate interclass test dependences
PASTE '07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
An Empirical Study of Test Case Filtering Techniques Based on Exercising Information Flows
IEEE Transactions on Software Engineering
Efficient online detection of dynamic control dependence
Proceedings of the 2007 international symposium on Software testing and analysis
A new foundation for control dependence and slicing for modern program structures
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
Empirical study of optimization techniques for massive slicing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Performance of concurrent servers generated automatically from sequential servers
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
An empirical study of slice-based cohesion and coupling metrics
ACM Transactions on Software Engineering and Methodology (TOSEM)
The influence of organizational structure on software quality: an empirical case study
Proceedings of the 30th international conference on Software engineering
Predicting defects using network analysis on dependency graphs
Proceedings of the 30th international conference on Software engineering
The probabilistic program dependence graph and its application to fault diagnosis
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
An empirical study of the relationship between the concepts expressed in source code and dependence
Journal of Systems and Software
Algorithms and tool support for dynamic information flow analysis
Information and Software Technology
On PDG-based noninterference and its modular proof
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
KOTEK: Clustering Of The Enterprise Code
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Measuring the strength of information flows in programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
The dependence condition graph: Precise conditions for dependence between program points
Computer Languages, Systems and Structures
A holistic approach to managing software change impact
Journal of Systems and Software
Cumulative subgoal fulfillment in software development
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Assessing the impact of global variables on program dependence and dependence clusters
Journal of Systems and Software
BUGINNINGS: identifying the origins of a bug
Proceedings of the 3rd India software engineering conference
A towards an extended relational algebra for software architecture
ACM SIGSOFT Software Engineering Notes
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Parametric and sliced causality
CAV'07 Proceedings of the 19th international conference on Computer aided verification
An operational semantics of program dependence graphs for unstructured programs
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
XWELL: a XML-based workflow event logging mechanism and language for workflow mining systems
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part III
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part III
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
Strict control dependence and its effect on dynamic information flow analyses
Proceedings of the 19th international symposium on Software testing and analysis
An alternative characterization of weak order dependence
Information Processing Letters
DSketch: lightweight, adaptable dependency analysis
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Using impact analysis in industry
Proceedings of the 33rd International Conference on Software Engineering
Flow-augmented call graph: a new foundation for taming API complexity
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
An algorithm for capturing variables dependences in test suites
Journal of Systems and Software
Mitigating the confounding effects of program dependences for effective fault localization
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
A practice-driven systematic review of dependency analysis solutions
Empirical Software Engineering
A unifying theory of control dependence and its application to arbitrary program structures
Theoretical Computer Science
Parametric and termination-sensitive control dependence
SAS'06 Proceedings of the 13th international conference on Static Analysis
A new foundation for control-dependence and slicing for modern program structures
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Dependence testing: extending data flow testing with control dependence
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Using Formal Concept Analysis to support change analysis
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Software regression as change of input partitioning
Proceedings of the 34th International Conference on Software Engineering
Communicating continuous integration servers for increasing effectiveness of automated testing
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Testing against visual contracts: model-based coverage
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Quantitative program slicing: separating statements by relevance
Proceedings of the 2013 International Conference on Software Engineering
DUA-forensics: a fine-grained dependence analysis and instrumentation framework based on Soot
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis
Hi-index | 0.00 |
A formal, general model of program dependences is presented and used to evaluate several dependence-based software testing, debugging, and maintenance techniques. Two generalizations of control and data flow dependence, called weak and strong syntactic dependence, are introduced and related to a concept called semantic dependence. Semantic dependence models the ability of a program statement to affect the execution behavior of other statements. It is shown that weak syntactic dependence is a necessary but not sufficient condition for semantic dependence and that strong syntactic dependence is necessary but not sufficient condition for a restricted form of semantic dependence that is finitely demonstrated. These results are used to support some proposed uses of program dependences, to controvert others, and to suggest new uses.