• veriSoft

  • Referenced in 91 articles [sw01489]
  • VeriSoft automatically searches for coordination problems (deadlocks, etc...
  • UniTESK

  • Referenced in 21 articles [sw06566]
  • UniTESK is a technology of software testing based...
  • Eraser

  • Referenced in 43 articles [sw08922]
  • Eraser: a dynamic data race detector for multithreaded...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • Goldilocks: a race and transaction-aware Java runtime...