TY - JOUR AU - Yu Lei AU - Richard Carver AU - Raghu Kacker AU - David Kung C2 - Software Testing Verification & Reliability DA - 2007-06-07 00:06:00 DO - https://doi.org/10.1002/stvr.369 LA - en M1 - 17 PB - Software Testing Verification & Reliability PY - 2007 TI - A Combinatorial Testing Strategy for Concurrent Programs ER -