Malavika Samak, Murali Krishna Ramanathan. Multithreaded test synthesis for deadlock detection. In Andrew P. Black, Todd D. Millstein, editors, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014. pages 473-489, ACM, 2014. [doi]
Abstract is missing.