A. Bechini;K.-C. Tai
-;-
Technology for Testing Nondeterministic Client/Server Database Applications
IEEE Transactions on Software Engineering
Reachability Testing of Concurrent Programs