Cyrille Artho Armin Biere Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs. 68-75 2001 conf/aswec/2001 Australian Software Engineering Conference http://csdl.computer.org/comp/proceedings/aswec/2001/1254/00/12540068abs.htm db/conf/aswec/aswec2001.html#ArthoB01