Yu Lei Richard H. Carver Raghu Kacker David Chenho Kung A combinatorial testing strategy for concurrent programs. 207-225 2007 17 Softw. Test., Verif. Reliab. 4 http://dx.doi.org/10.1002/stvr.369 db/journals/stvr/stvr17.html#LeiCKK07