Automatic Detection of Shared Objects in Multithreaded Java Programs | IEEE Conference Publication | IEEE Xplore