dbug : Systematic Testing of Distributed and Multi-Threaded Systems 

 People : Jiri Simsa, Randy Bryant and Garth Gibson