Efficient detection of thread safety violations via coverage-guided generation of concurrent tests

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]

Authors

Ankit Choudhary

This author has not been identified. Look up 'Ankit Choudhary' in Google

Shan Lu

This author has not been identified. Look up 'Shan Lu' in Google

Michael Pradel

This author has not been identified. It may be one of the following persons: Look up 'Michael Pradel' in Google