Andreas Ibing. Efficient Data-Race Detection with Dynamic Symbolic Execution. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, Gdańsk, Poland, September 11-14, 2016. pages 1719-1726, 2016. [doi]
Abstract is missing.