Model-based Testing November 20, 2021 • Source: johanneslink.net Stateful and Model-based Properties with Examples in Java