Transition Systems -- Program Reasoning and Testing -- Minimal Spanning Set for Coverage