Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs

To Tsui, Shangru Wu, Wing Kwong Chan. Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs. In Hareton Kam Nang Leung, editor, Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014, Hong Kong, China, November 16, 2014. pages 49-56, ACM, 2014. [doi]

Abstract

Abstract is missing.