MODIST
From MaRDI portal
Cited in
(25)- Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
- Combining model checking and testing
- CalFuzzer
- ADL
- ConTest
- Snugglebug
- Looper
- FastTrack
- CATG
- PeerSim
- Con2colic
- Neko
- BuzzPSS
- D3S
- dBug
- DCatch
- DieCast
- Exalt
- umlsim
- Minha: Large-scale distributed systems testing made practical
- SAMC
- DataFlasks
- ElasTest
- Minha
- SPLAY
This page was built for software: MODIST
