A study and toolkit of CHECK-THEN-ACT idioms of Java concurrent collections. - Lin, Yu; Dig, Danny (Software Testing: Verification & Reliability, 2015)