Refactoring Java Concurrent Programs Based on Synchronization Requirement Analysis | IEEE Conference Publication | IEEE Xplore