Tingting Yu: TACO: test suite augmentation for concurrent programs. ESEC/SIGSOFT FSE 2015: 918-921