Luc Bläser. Practical detection of concurrency issues at coding time. In Frank Tip, Eric Bodden, editors, Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. pages 221-231, ACM, 2018. [doi]
Abstract is missing.