Jonas Maebe Dries Buytaert Lieven Eeckhout Koen De Bosschere Javana: a system for building customized Java program analysis tools. 153-168 2006 conf/oopsla/2006 OOPSLA http://doi.acm.org/10.1145/1167473.1167487 db/conf/oopsla/oopsla2006.html#MaebeBEB06