Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs (2006)

by C Artho, A Biere
Venue:In Proceedings of the 13th Australian Conference on Software Engineering