Refining Data Flow Information Using Infeasible Paths

Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa. Refining Data Flow Information Using Infeasible Paths. In Mehdi Jazayeri, Helmut Schauer, editors, Software Engineering - ESEC/FSE 97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings. Volume 1301 of Lecture Notes in Computer Science, pages 361-377, Springer, 1997. [doi]

Abstract

Abstract is missing.