Zhi Gan

Unit testing for concurrent business code

Eitan Farchi, Raja Das, Yarden Nir-Buchbinder, 2010, PADTAD '10.