1. Daniel Jackson. Aspect: detecting bugs with abstract dependences. ACM Transactions on Software Engineering and Methodology, 4(2):109--145, 1995.

1. Daniel Jackson and Martin C. Rinard. Software Analysis: A Roadmap. In Mehdi Jazayeri and Alexander Wolf, editors, Proceedings of the 22^nd International Conference on Software Engineering, future of software engineering track, pages 133--145, June 2000. ACM Press. [WWW ]



2. Daniel Jackson and Allison Waingold. Lightweight Extraction of Object Models from Bytecode. In David Garlan and Jeff Kramer, editors, Proceedings of the 21^st International Conference on Software Engineering, pages 194--202, May 1999. ACM Press. [WWW ]

1. Daniel Jackson and Martin Rinard. Software Analysis: A Roadmap, June 2000. Note: Talk at the ICSE conference. [WWW ]

This document was translated from BibT_EX by bibtex2html