Unit testing for concurrent business code. - Yao Qi; Yarden Nir-Buchbinder; Eitan Farchi; Raja Das; Zhi Da Luo; Zhi Gan (PDATAD, 2010)