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]
@inproceedings{Ibing16,
title = {Efficient Data-Race Detection with Dynamic Symbolic Execution},
author = {Andreas Ibing},
year = {2016},
doi = {10.15439/2016F117},
url = {http://dx.doi.org/10.15439/2016F117},
researchr = {https://researchr.org/publication/Ibing16},
cites = {0},
citedby = {0},
pages = {1719-1726},
booktitle = {Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, Gdańsk, Poland, September 11-14, 2016},
editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki},
isbn = {978-83-60910-92-7},
}