Ankit Choudhary, Shan Lu, Michael Pradel. Efficient detection of thread safety violations via coverage-guided generation of concurrent tests. In Sebastián Uchitel, Alessandro Orso, Martin P. Robillard, editors, Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017. pages 266-277, IEEE / ACM, 2017. [doi]
Abstract is missing.