Omen: A strategy for testing object-oriented software (2000)

by Amie L. Souter
Venue:In Proceedings of the International Symposium on Software Testing and Analysis
Citations:12 - 2 self

Active Bibliography

7 Points-to Analysis for Java Using Annotated Inclusion Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
231 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
5 Compositional Pointer and Escape Analysis for Multithreaded Java Programs – Martin Rinard, John Whaley - 1999
31 Points-to and side-effect analyses for programs built with precompiled libraries – Atanas Rountev, Barbara G. Ryder - 2001
132 A Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing – Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher - 2001
10 Efficient computation of parameterized pointer information for interprocedural analyses – Donglin Liang, Mary Jean Harrold - 2001
28 Efficient computation of parameterized pointer information for interprocedural analyses – Donglin Liang, Mary Jean Harrold - 2001
6 Fulcra Pointer Analysis Framework – Erik Matthew Nystrom - 2005
82 Pointer analysis: Haven’t we solved this problem yet? – Michael Hind - 2001
19 Points-To for Java: A General Framework and an Empirical Comparison – Mirko Streckenbach, Gregor Snelting - 2000
7 Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages – Ramkrishna Chatterjee, Ramkrishna Chatterjee, Ramkrishna Chatterjee, Dissertation Director, Barbara Gershon Ryder, Barbara Gershon Ryder - 2000
Compositional Pointer and Escape . . . – John Whaley, et al.
27 Efficient field-sensitive pointer analysis for C – David J. Pearce, Paul H. J. Kelly, Chris Hankin
6 Precise and Efficient Call Graph Construction for C Programs with Function Pointers – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2004
41 Extending and Evaluating Flow-insensitive and Context-insensitive Points-to Analyses for Java – Donglin Liang, Maikel Pennings, Mary Jean Harrold - 2001
4 Practical Points-to Analysis for Programs Built with Libraries – Atanas Rountev, Barbara G. Ryder - 2000
14 CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS – John Whaley, Monica S. Lam - 2007
7 Complexity of Points-to Analysis of Java in the Presence of Exceptions – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 2001