Search results for "interprocedural"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
156	Mary Jean Harrold, Mary Lou Soffa	Efficient Computation of Interprocedural Definition-Use Chains.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	dataflow testing, interprocedural dataflow analysis, interprocedural definition-use chains, interprocedural reachable uses, interprocedural reaching definitions
115	Robert Metzger, Sean Stroud	Interprocedural Constant Propagation: An Empirical Study.	LOPLAS	1993	DBLP DOI BibTeX RDF	abstract interpretation, code optimization, control-flow graph, interprocedural analysis, dataflow graph, constant propagation
112	Saurabh Sinha, Mary Jean Harrold, Gregg Rothermel	Interprocedural control dependence.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	interprocedural control dependence, semantic dependence, software maintenance, program slicing, interprocedural analysis
102	Jens Knoop, Eduard Mehofer	Interprocedural Distribution Assignment Placement: More than Just Enhancing Intraprocedural Placing Techniques.	IEEE PACT	1997	DBLP DOI BibTeX RDF	interprocedural distribution assignment placement, intraprocedural placing techniques, unnecessary run-time remappings, partially redundant distribution assignment elimination, partially dead distribution assignment elimination, algorithm hierarchy, user-customized solutions, dynamic data redistribution, optimization, parallel programming, High Performance Fortran, anomalies, distributed-memory architectures, data-parallel programs, interprocedural data-flow analysis, run-time efficiency
95	Michael Hind, Michael G. Burke, Paul R. Carini, Jong-Deok Choi	Interprocedural pointer alias analysis.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	pointer aliasing, program analysis, interprocedural analysis
92	Sumit Gulwani, George C. Necula	Precise interprocedural analysis using random interpretation.	POPL	2005	DBLP DOI BibTeX RDF	interprocedural value numbering, linear relationships, random interpretation, randomized algorithm, interprocedural analysis, uninterpreted functions
89	David W. Goodwin	Interprocedural Dataflow Analysis in an Executable Optimizer.	PLDI	1997	DBLP DOI BibTeX RDF
85	Anasua Bhowmik, Manoj Franklin	A fast approximate interprocedural analysis for speculative multithreading compilers.	ICS	2003	DBLP DOI BibTeX RDF	pointer analysis, thread-level parallelism (TLP), interprocedural analysis, speculative multithreading (SpMT)
82	Bjorn De Sutter, Ludo Van Put, Koen De Bosschere	A practical interprocedural dominance algorithm.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Interprocedural control flow graph, dominators, interprocedural analysis
75	Silvian Calman, Jianwen Zhu	Increasing the Scope and Resolution of Interprocedural Static Single Assignment.	SAS	2009	DBLP DOI BibTeX RDF	dataflow, constant propagation, SSA, interprocedural
75	Bageshri Karkare, Uday P. Khedker	An improved bound for call strings based interprocedural analysis of bit vector frameworks.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Bit Vector Data Flow Frameworks, Interprocedural Data Flow Analysis
72	Hemant D. Pande, William Landi, Barbara G. Ryder	Interprocedural Def-Use Associations for C Systems with Single Level Pointers.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	interprocedural def-use associations, C software systems, single level pointers, value-setting statements, value-fetches, program-point-specific pointer-induced aliases, interprocedural reaching definitions problem, software engineering, computational complexity, data structures, static analysis, NP-hardness, program compilers, polynomial-time algorithm, program diagnostics, C language, indirection
68	Keith D. Cooper, Ken Kennedy, Linda Torczon	The Impact of Interprocedural Analysis and Optimization in the Rn Programming Environment.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
65	Mary W. Hall, Saman P. Amarasinghe, Brian R. Murphy, Shih-Wei Liao, Monica S. Lam	Interprocedural parallelization analysis in SUIF.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	parallelization, symbolic analysis, Data dependence analysis, interprocedural data-flow analysis
63	Silvian Calman, Jianwen Zhu	Interprocedural induction variable analysis based on interprocedural SSA form IR.	PASTE	2010	DBLP DOI BibTeX RDF	induction variable analysis, interprocedural ssa, ssa
62	Mary Jean Harrold, Brian A. Malloy	A Unified Interprocedural Program Representation for a Maintenance Environment.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	unified interprocedural graph, unified interprocedural program representation, software maintenance, software maintenance, program understanding, data dependence, programming theory, data flow, edges, control flow, nodes, control dependence, access time, storage space
58	Rafael Asenjo, Rosa Castillo, Francisco Corbera, Angeles G. Navarro, Adrian Tineo, Emilio L. Zapata	Parallelizing irregular C codes assisted by interprocedural shape analysis.	IPDPS	2008	DBLP DOI BibTeX RDF
58	Ranjit Jhala, Rupak Majumdar	Interprocedural analysis of asynchronous programs.	POPL	2007	DBLP DOI BibTeX RDF	asynchronous (event-driven) programming, dataflow analysis
58	Markus Müller-Olm, Helmut Seidl	A Generic Framework for Interprocedural Analyses of Numerical Properties.	LPAR	2004	DBLP DOI BibTeX RDF
58	Keith B. Gallagher	Some Notes on Interprocedural Program Slicing.	SCAM	2004	DBLP DOI BibTeX RDF
58	Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha	Computation of Interprocedural Control Dependence.	ISSTA	1998	DBLP DOI BibTeX RDF	control and semantic dependence, interprocedual analysis
58	Rastislav Bodík, Rajiv Gupta 0001, Mary Lou Soffa	Interprocedural Conditional Branch Elimination.	PLDI	1997	DBLP DOI BibTeX RDF
58	István Forgács	Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	double iterative frameworks, data flow analysis
58	Keith D. Cooper, Ken Kennedy, Linda Torczon	Interprocedural optimization: eliminating unnecessary recompilation.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
55	Guoqing Xu 0001, Atanas Rountev	AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software.	AOSD	2008	DBLP DOI BibTeX RDF	AspectJ, dataflow analysis, interprocedural analysis
55	Lynn Choi, Pen-Chung Yew	Compiler Analysis for Cache Coherence: Interprocedural Array Data-Flow Analysis and Its Impact on Cache Performance.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Compiler, shared-memory multiprocessors, data-flow analysis, cache coherence, interprocedural analysis
55	Gagan Agrawal	A General Interprocedural Framework for Placement of Split-Phase Large Latency Operations.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Memory hierarchy transformations, data-flow analysis, interprocedural analysis, code motion, input/output
55	Gagan Agrawal	Interprocedural Partial Redundancy Elimination With Application to Distributed Memory Compilation.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Distributed memory compilation, communication optimizations, interprocedural analysis, Partial Redundancy Elimination, irregular applications
55	Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa	A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	copy constant propagation, def-use chains, demand-driven algorithms, distributive data flow frameworks, data flow analysis, program optimizations, interprocedural data flow analysis
55	Sandrine Blazy, Philippe Facon	Interprocedural analysis for program comprehension by specialization.	WPC	1996	DBLP DOI BibTeX RDF	partial evaluation (compilers), visibility rules, reverse engineering, software maintenance, software maintenance, software tools, software tool, FORTRAN, Fortran, program comprehension, program compilers, partial evaluation, specialization, program diagnostics, interprocedural analysis, application programs
50	Williams Ludwell Harrison III, Zahira Ammarguellat	The Design of Automatic Parallelizers for Symbolic and Numeric Programs.	Workshop on Parallel Lisp	1989	DBLP DOI BibTeX RDF
48	Claude Bolduc, Béchir Ktari	Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.	RelMiCS	2009	DBLP DOI BibTeX RDF
48	Mangala Gowri Nanda, Saurabh Sinha	Accurate Interprocedural Null-Dereference Analysis for Java.	ICSE	2009	DBLP DOI BibTeX RDF
48	Sumit Gulwani, Ashish Tiwari 0001	Computing Procedure Summaries for Interprocedural Analysis.	ESOP	2007	DBLP DOI BibTeX RDF
48	Teck Bok Tok, Samuel Z. Guyer, Calvin Lin	Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers.	CC	2006	DBLP DOI BibTeX RDF
48	Bertrand Jeannet, Wendelin Serwe	Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs.	AMAST	2004	DBLP DOI BibTeX RDF
48	Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv	A Relational Approach to Interprocedural Shape Analysis.	SAS	2004	DBLP DOI BibTeX RDF
48	David Melski, Thomas W. Reps	The Interprocedural Express-Lane Transformation.	CC	2003	DBLP DOI BibTeX RDF
48	Mark Harman, Lin Hu 0005, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya	An Interprocedural Amorphous Slicer for WSL.	SCAM	2002	DBLP DOI BibTeX RDF
48	Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Z. Altucher	A schema for interprocedural modification side-effect analysis with pointer aliasing.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF
48	Thomas Ball, Sriram K. Rajamani	Bebop: a path-sensitive interprocedural dataflow engine.	PASTE	2001	DBLP DOI BibTeX RDF
48	Saumya K. Debray, Todd A. Proebsting	Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	control-flow analysis
48	Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa	Demand-driven Computation of Interprocedural Data Flow.	POPL	1995	DBLP DOI BibTeX RDF
48	Paul R. Carini, Michael Hind	Flow-Sensitive Interprocedural Constant Propagation.	PLDI	1995	DBLP DOI BibTeX RDF
48	David Grove	The impact of interprocedural class analysis on optimization.	CASCON	1995	DBLP BibTeX RDF
48	David W. Binkley	Precise Executable Interprocedural Slices.	LOPLAS	1993	DBLP DOI BibTeX RDF	program slicing, data dependence, control dependence, program dependence graph
48	Kwangkeun Yi, Williams Ludwell Harrison III	Automatic Generation and Management of Interprocedural Program Analyses.	POPL	1993	DBLP DOI BibTeX RDF	C, Z
48	Jong-Deok Choi, Michael G. Burke, Paul R. Carini	Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects.	POPL	1993	DBLP DOI BibTeX RDF
48	Peiyi Tang	Exact Side Effects for Interprocedural Dependence Analysis.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
48	Mariam Kamkar, Nahid Shahmehri, Peter Fritzson	Interprocedural Dynamic Slicing.	PLILP	1992	DBLP DOI BibTeX RDF
48	Jean-Marie Larchevêque	Interprocedural Type Propagation for Object-Oriented Languages.	ESOP	1992	DBLP DOI BibTeX RDF
48	Susan Horwitz, Thomas W. Reps, David W. Binkley	Interprocedural Slicing Using Dependence Graphs.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
48	Susan Horwitz, Thomas W. Reps, David W. Binkley	Interprocedural Slicing Using Dependence Graphs.	PLDI	1988	DBLP DOI BibTeX RDF
48	Susan Horwitz, Thomas W. Reps, David W. Binkley	Interprocedural slicing using dependence graphs (with retrospective)	Best of PLDI	1988	DBLP DOI BibTeX RDF
47	David W. Binkley	Reducing the cost of regression testing by semantics guided test case selection.	ICSM	1995	DBLP DOI BibTeX RDF	semantics guided test case selection, semantic differences, common execution patterns, interprocedural slice, calling context slice, software maintenance, software maintenance, program testing, program testing, regression testing, cost, software cost estimation, language semantics
45	Ákos Kiss 0001, Judit Jász, Tibor Gyimóthy	Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	interprocedural slicing, binary executables, indirect function call, call graph, dynamic information, static slicing
45	Peng-Sheng Chen, Yuan-Shin Hwang, Roy Dz-Ching Ju, Jenq Kuen Lee	Interprocedural Probabilistic Pointer Analysis.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	interprocedural program analysis, optimization, compilers, Multithreading, speculation, points-to analysis
45	Markus Müller-Olm, Helmut Seidl	Precise interprocedural analysis through linear algebra.	POPL	2004	DBLP DOI BibTeX RDF	affine relation, polynomial relation, linear algebra, interprocedural analysis, weakest precondition
45	Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard	Interprocedural compatibility analysis for static object preallocation.	POPL	2003	DBLP DOI BibTeX RDF	memory preallocation, static analysis, interprocedural analysis
45	Zhiyuan Li 0001, Junjie Gu, Gyungho Lee	Interprocedural Analysis Based on Guarded Array Regions.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF	array data flow analysis, array privatization, guarded array regions, Parallelizing compilers, interprocedural analysis, symbolic analysis
45	Junjie Gu, Zhiyuan Li 0001	Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	array data-flow analysis, Parallelizing compiler, interprocedural analysis, symbolic analysis
45	Jens Knoop	Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis.	ICCL	1998	DBLP DOI BibTeX RDF	Formal callability, formal reachability, call graph analysis, program optimization, interprocedural data-flow analysis
45	John Wood, Harold C. Grossman	Interprocedural register allocation for RISC machines.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	Interprocedural Register Allocation, RISC Computer, Webs, Graph Coloring
45	Mario Südholt, Christoph Steigner	On Interprocedural Data Flow Analysis for Object Oriented Languages.	CC	1992	DBLP DOI BibTeX RDF	class scope, Object oriented language, interprocedural data flow analysis, virtual function
45	Paul Havlak, Ken Kennedy	An Implementation of Interprocedural Bounded Regular Section Analysis.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	interprocedural bounded regular section analysis, subarrays, production compiler, high-level language constructs, programmingsupport systems, LINPACK library, linear algebra subroutines, RiceCompiler Evaluation Program Suite, RiCEPS, application codes, scientific disciplines, modular programming style, parallel programming, program testing, program compilers, dependence analysis, optimizing compilers, procedure calls
44	Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August	A framework for unrestricted whole-program optimization.	PLDI	2006	DBLP DOI BibTeX RDF	interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation
40	Saswat Anand, Patrice Godefroid, Nikolai Tillmann	Demand-Driven Compositional Symbolic Execution.	TACAS	2008	DBLP DOI BibTeX RDF
38	Syrine Tlili, Mourad Debbabi	Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Type and effect analysis, C language, Type safety, Memory safety
38	Philip Brisk, Ajay Kumar Verma, Paolo Ienne	Optimal polynomial-time interprocedural register allocation for high-level synthesis and ASIP design.	ICCAD	2007	DBLP DOI BibTeX RDF
38	Rami Beidas, Jianwen Zhu	Scalable interprocedural register allocation for high level synthesis.	ASP-DAC	2005	DBLP DOI BibTeX RDF
38	Markus Müller-Olm, Helmut Seidl	A Generic Framework for Interprocedural Analysis of Numerical Properties.	SAS	2005	DBLP DOI BibTeX RDF
38	Hansang Bae, Rudolf Eigenmann	Interprocedural Symbolic Range Propagation for Optimizing Compilers.	LCPC	2005	DBLP DOI BibTeX RDF
38	Nguyen Tran Sy, Yves Deville	Consistency techniques for interprocedural test data generation.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	software testing, consistency, constraint satisfaction, arrays, test data generation, procedures
38	Ákos Kiss 0001, Judit Jász, Gábor Lehotai, Tibor Gyimóthy	Interprocedural Static Slicing of Binary Executables.	SCAM	2003	DBLP DOI BibTeX RDF
38	Wei Zhang 0002, Guangyu Chen, Mahmut T. Kandemir, Mustafa Karaköy	Interprocedural optimizations for improving data cache performance of array-intensive embedded applications.	DAC	2003	DBLP DOI BibTeX RDF	embedded system, cache, locality
38	Henrik Theiling	ILP-Based Interprocedural Path Analysis.	EMSOFT	2002	DBLP DOI BibTeX RDF
38	Sanjay Ghemawat, Keith H. Randall, Daniel J. Scales	Field analysis: getting useful and low-cost interprocedural information.	PLDI	2000	DBLP DOI BibTeX RDF
38	David Grove	A comparison of algorithms for interprocedural class analysis.	CASCON	1996	DBLP BibTeX RDF
38	Shmuel Sagiv, Thomas W. Reps, Susan Horwitz	Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.	TAPSOFT	1995	DBLP DOI BibTeX RDF
38	Michael G. Burke	An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
38	Peter Steenkiste, John L. Hennessy	A Simple Interprocedural Register Allocation Algorithm and Its Effectiveness for Lisp.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF	LISP
38	Jeffrey M. Barth	An Interprocedural Data Flow Analysis Algorithm.	POPL	1977	DBLP DOI BibTeX RDF
38	Frances E. Allen	Interprocedural Analysis and the Information derived by it.	Programming Methodology	1974	DBLP DOI BibTeX RDF
37	Satish Chandra 0001, Stephen J. Fink, Manu Sridharan	Snugglebug: a powerful approach to weakest preconditions.	PLDI	2009	DBLP DOI BibTeX RDF	interprocedural analysis, weakest preconditions, symbolic analysis
37	Markus Müller-Olm, Helmut Seidl	Analysis of modular arithmetic.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	affine relation, Program analysis, abstract interpretation, interprocedural analysis, modular arithmetic
37	Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof	Summarizing procedures in concurrent programs.	POPL	2004	DBLP DOI BibTeX RDF	interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems
37	Florian Martin 0001	PAG - An Efficient Program Analyzer Generator.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Specification and generation of analyzers, Abstract interpretation, Data flow analysis, Interprocedural analysis, Compiler construction
36	Mariam Kamkar, Peter Fritzson, Nahid Shahmehri	Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing.	ICSM	1993	DBLP DOI BibTeX RDF
35	Saurabh Sinha, Mary Jean Harrold, Gregg Rothermel	System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow.	ICSE	1999	DBLP DOI BibTeX RDF	interprocedural slicing, program slicing, system dependence graph
35	Thomas W. Reps, Genevieve Rosay	Precise Interprocedural Chopping.	SIGSOFT FSE	1995	DBLP DOI BibTeX RDF	graph reachability, program chopping, realizable path, debugging, program slicing, interprocedural analysis, program dependence graph
35	Michael G. Burke, Linda Torczon	Interprocedural Optimization: Eliminating Unnecessary Recompilation.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	interprocedural analysis and optimization, recompilation analysis, data-flow analysis
35	Kurt M. Olender, Leon J. Osterweil	Interprocedural Static Analysis of Sequencing Constraints.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	error detection, interprocedural data flow analysis, sequencing constraints
34	Jyh-Shiarn Yur, Barbara G. Ryder, William Landi	An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis.	ICSE	1999	DBLP DOI BibTeX RDF	interprocedural pointer aliasing, interprocedural side effect analysis, incremental analysis
30	Alexey Loginov, Eran Yahav, Satish Chandra 0001, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda	Verifying dereference safety via expanding-scope analysis.	ISSTA	2008	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, specification inference
30	Kyungwoo Lee, Samuel P. Midkiff	A two-phase escape analysis for parallel java programs.	PACT	2006	DBLP DOI BibTeX RDF	compilation models, java, memory models, consistency models, escape analysis
30	Tom Way, Ben Breech, Lori L. Pollock	Region Formation Analysis with Demand-Driven Inlining for Region-Based Optimization.	IEEE PACT	2000	DBLP DOI BibTeX RDF
30	Kathryn S. McKinley	A Compiler Optimization Algorithm for Shared-Memory Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	parallelization techniques, performance evaluation, data locality, program optimization, Program parallelization, restructuring compilers
30	David W. Binkley	Semantics Guided Regression Test Cost Reduction.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	CTR Categories and Subject Descriptors: D.2.2 [Software Engineering]: tools and techniques—programmer workbench, D.2.5 [Software Enginering]: testing and debugging, D.3.3 [Programming Languages]: language constructs—control structures, functions and subroutines, E.1 [Data Structures] graphs, other keywords: slicing, regression testing, procedures
30	Mary Jean Harrold, Mary Lou Soffa	Interprocedual Data Flow Testing.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
28	Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer	Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains.	FoSSaCS	2009	DBLP DOI BibTeX RDF