Unit testing for concurrent business codeYao QiYarden Nir-Buchbinderet al.2010PADTAD 2010Conference paper