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:13 - 2 self

Active Bibliography

21 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
7 Points-to Analysis for Java Using Annotated Inclusion Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
245 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
JAAT: Java Alias Analysis Tool for Maintenance Activities – Fumiaki Ohata, Yusuke Yamanaka, Kazuhiro Kondo, Katsuro Inoue - 2003
32 Points-to and side-effect analyses for programs built with precompiled libraries – Atanas Rountev, Barbara G. Ryder - 2001
Compositional Pointer and Escape Analysis for Java Programs – unknown authors
5 Compositional Pointer and Escape Analysis for Multithreaded Java Programs – Martin Rinard, John Whaley - 1999
134 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
91 Pointer analysis: Haven’t we solved this problem yet? – Michael Hind - 2001