17. ECOOP 2003:
Darmstadt, Germany
Patterns, Architecture, and Collaboration
Algorithms, Optimization and Runtimes
Nick Mitchell,
Gary Sevitsky:
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications. 351-377
Formal Techniques and Methodology
maintained by

, founded at
