dBug : Systematic Testing of Distributed and Multi-Threaded Systems 

 People : Jiri Simsa, Randy Bryant and Garth Gibson
Download:
  • dBug latest distribution (0.2.0-beta) [here]
  • dBug manual [here]
  • dBug SSV 2010 paper [here]
  • dBug SPIN 2011 paper (in submission) [here]
  • dBug SPIN 2011 paper experiments [here]