Some publications by Daniel Jackson
Articles in journal or book chapters
Aspect: detecting bugs with abstract dependences.
ACM Transactions on Software Engineering and Methodology,
Daniel Jackson and Martin C. Rinard.
Software Analysis: A Roadmap.
In Mehdi Jazayeri and Alexander Wolf, editors,
Proceedings of the 22nd International Conference on Software Engineering, future of software engineering track,
Daniel Jackson and Allison Waingold.
Lightweight Extraction of Object Models from Bytecode.
In David Garlan and Jeff Kramer, editors,
Proceedings of the 21st International Conference on Software Engineering,
Daniel Jackson and Martin Rinard.
Software Analysis: A Roadmap,
Note: Talk at the ICSE conference. [WWW
This document was translated from BibTEX by