CTrigger
From MaRDI portal
swMATH23066MaRDI QIDQ34850FDOQ34850
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=1508249
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
