@doctoralThesis{Sousa da Fonseca_2015,
title={Effective testing for concurrency bugs},
author={Sousa da Fonseca, Pedro José},
doi={http://dx.doi.org/10.22028/D291-26605},
year={2015}
}