Refining data flow information using infeasible paths-Reference-Cited by-同舟云学术

Refining data flow information using infeasible paths

Published:1997 Issue: Volume: Page:361-377
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bodík Rastislav,Gupta Rajiv,Soffa Mary Lou

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-63531-9_25

Reference17 articles.

1. A.V. Aho, R. Sethi, J.D. Ullman, Compilers, Principles, Techniques, and Tools, Addison-Wesley, 1986.

2. R. Bodik, R. Gupta, and M.L. Soffa, “Interprocedural Conditional Branch Elimination,” Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation, June 1997.

3. E. Duesterwald, R. Gupta, and M.L. Soffa, ”Interprocedural Data Flow Analysis on Demand,” The 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 37–48, San Francisco, California, January 1995.

4. E. Duesterwald, R. Gupta, and M.L. Soffa, “A Demand-Driven Analyzer for Data Flow Testing at the Integration Level,” International Conference on Software Engineering, Berlin, Germany, March 1996.

5. P.G. Frankl, E.J. Woyeker, “An Applicable Family of Data Flow Testing Criteria,” IEEE Transactions on Software Engineering, pages 1483–1498, Vol. 14, No. 10, October 1988.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments;Proceedings of the 28th International Conference on Compiler Construction - CC 2019;2019

2. Sparse Analysis of Variable Path Predicates Based upon SSA-Form;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016

3. Regression test size reduction using improved precision slices;Innovations in Systems and Software Engineering;2015-11-04

4. Path-Sensitive Data Flow Analysis Simplified;Formal Methods and Software Engineering;2013

5. Wiederverwendung von Integrationstestfällen in der Software-Produktlinienentwicklung;Informatik - Forschung und Entwicklung;2008-02-28