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