ConTest - A Tool for Testing Multi-threaded Java Applications

Publications "Multithreaded Java program test generation", In the IBM System Journal Volume 41, Number 1, 2002 "ConTest – A User's Perspective", In Aquis 2002 "Framework for testing multi-threaded Java programs", Concurrency and Computation: Practice and Experience 15(3-5): 485-499 (2003) "Choosing among Alternative Pasts", IPDPS 2003 "Concurrent Bug Patterns and How to Test Them", IPDPS 2003