- Referenced in 91 articles
- VeriSoft automatically searches for coordination problems (deadlocks, etc...
- Referenced in 21 articles
- UniTESK is a technology of software testing based...
- Referenced in 43 articles
- Eraser: a dynamic data race detector for multithreaded...
- Referenced in 10 articles
- Goldilocks: a race and transaction-aware Java runtime...