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