A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs. - Gwan-Hwan Hwang; Che-Sheng Lin; Teng-Shuo Lee; Chi Wu-Lee (Softw. Test. Verification Reliab., 2014)