Cited in
(14)- QuickLex: a fast algorithm for consistent global states enumeration of distributed computations
- RacerX
- Goldilocks
- PENELOPE
- ASM
- AVIO
- bzip2smp
- CHESS
- Falcon
- jPredictor
- QuickLex
- BIDE
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
- Abstraction and mining of traces to explain concurrency bugs
This page was built for software: CTrigger
