The Informal Blog - Model-Based Testing for the Cosmos Hub