Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy, and Haisheng Wang. "Preventing Database Deadlocks in Applications," In Proc. 9th Joint Meeting of European Software Engineering Conf. and ACM SIGSOFT Symp. on Foundations of Software Engineering (ESEC/FSE 2013), pp. 174--183, St. Petersburg, Russia, August 2013.