Ayla Dantas Francisco Vilar Brasileiro Walfredo Cirne Improving Automated Testing of Multi-threaded Software. 521-524 2008 ICST http://doi.ieeecomputersociety.org/10.1109/ICST.2008.38 conf/icst/2008 db/conf/icst/icst2008.html#DantasBC08