MODIST

MaRDI QIDQ24963swMATHFDO

Official website https://www.usenix.org/legacy/events/nsdi09/tech/full_papers/yang/yang_html/

Cited in

(25)

• SAMC
• Neko
• BuzzPSS
• D3S
• dBug
• DCatch
• DieCast
• Exalt
• umlsim
• Combining model checking and testing
• Minha: Large-scale distributed systems testing made practical
• CalFuzzer
• ADL
• ConTest
• Snugglebug
• Looper
• FastTrack
• CATG
• PeerSim
• Con2colic
• DataFlasks
• ElasTest
• Minha
• SPLAY
• Read atomic transactions with prevention of lost updates: ROLA and its formal analysis

This page was built for software: MODIST