UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.

Bin Lei, Linzhang Wang, Xuandong Li

Browse the full ICST paper archive.