Model-Based Testing EVM networks with Quint and AI

We used Quint Connect and AI to increase test coverage and find a bug in Emerald