Refining Data Flow Information Using Infeasible Paths

  title={Refining Data Flow Information Using Infeasible Paths},
  author={Rastislav Bod{\'i}k and Rajiv Gupta and Mary Lou Soffa},
  booktitle={ESEC / SIGSOFT FSE},
Experimental evidence indicates that large programs exhibit significant amount of branch correlation amenable to compile-time detection. Branch correlation gives rise to infeasible paths, which in turn make data flow information overly conservative. For example, def-use pairs that always span infeasible paths cannot be tested by any program input, preventing 100% defuse, testing coverage. We present an algorithm for identifying infeasible program paths and a data flow analysis technique that… CONTINUE READING
Highly Cited
This paper has 110 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 76 extracted citations

Automatic detection of infeasible paths in software testing

IET Software • 2010
View 5 Excerpts
Highly Influenced

Heuristics-based infeasible path detection for dynamic test data generation

Information & Software Technology • 2008
View 8 Excerpts
Highly Influenced

Segmented symbolic analysis

2013 35th International Conference on Software Engineering (ICSE) • 2013
View 4 Excerpts
Highly Influenced

A Survey on Data-Flow Testing

ACM Comput. Surv. • 2017
View 1 Excerpt

Generating Predicate Callback Summaries for the Android Framework

2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and Systems (MOBILESoft) • 2017
View 2 Excerpts

Predicate Callback Summaries

2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) • 2017
View 2 Excerpts

Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux

2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) • 2017
View 1 Excerpt

110 Citations

Citations per Year
Semantic Scholar estimates that this publication has 110 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…