Minha: Large-scale distributed systems testing made practical

DOI10.4230/LIPICS.OPODIS.2019.11MaRDI QIDQ5874238zbMATH OpenOpenAlexFDO

Authors

Publication date 7 February 2023

Full work available at URL https://doi.org/10.4230/LIPIcs.OPODIS.2019.11

zbMATH Keywords

simulationdistributed software testinglarge scale distributed systems

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14)

Recommendations

• Principles of Distributed Systems
• scientific article; zbMATH DE number 1919418
• Protocol combinators for modeling, testing, and execution of distributed systems
• scientific article; zbMATH DE number 1823196
• Distributed and predictable software model checking

Cited in

(1)

• Minha

Describes a project that uses

Uses Software

• DCatch
• Neko
• Exalt
• D3S
• dBug
• umlsim
• BuzzPSS
• DieCast
• ElasTest
• DataFlasks
• SPLAY
• SAMC
• PeerSim
• ASM
• PlanetLab
• MODIST
• Pastry
• Hadoop
• TLA
• Coq

This page was built for publication: Minha: Large-scale distributed systems testing made practical

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5874238)