Antipattern-based detection of deficiencies in Java multithreaded software | IEEE Conference Publication | IEEE Xplore