Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs. - To Tsui; Shangru Wu; Wing Kwong Chan (InnoSWDev@SIGSOFT FSE, 2014)