Bin Lei Linzhang Wang Xuandong Li UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. 200-209 2008 ICST http://doi.ieeecomputersociety.org/10.1109/ICST.2008.64 conf/icst/2008 db/conf/icst/icst2008.html#LeiWL08