MODIST
From MaRDI portal
swMATH13044MaRDI QIDQ24963FDOQ24963
Author name not available (Why is that?)
Official website: https://www.usenix.org/legacy/events/nsdi09/tech/full_papers/yang/yang_html/
Cited In (24)
- SAMC
- Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
- Neko
- BuzzPSS
- D3S
- dBug
- DCatch
- DieCast
- Exalt
- umlsim
- Combining model checking and testing
- ADL
- ConTest
- Snugglebug
- Looper
- FastTrack
- CATG
- Minha: Large-scale distributed systems testing made practical
- PeerSim
- Con2colic
- DataFlasks
- ElasTest
- Minha
- SPLAY
This page was built for software: MODIST
