Concepts Understand how SEK works and the ideas it inherits from Spec Explorer. Foundations What is model-based testing? History and lineage Modeling Model programs Rules and guards Accepting conditions Exploration State exploration Transition systems (.seexpl) Scenarios and parameters The Cord language Parameter generation (Z3) Combination strategies Object domains Verification Conformance