Models behavioral states and state transition matrices to expose brief windows of vulnerability, timing race conditions, and unhandled event transitions, using techniques from Elisabeth Hendrickson's Explore It!. Make sure to use this skill whenever the user asks to "test state transitions", "find race conditions", "test timing bugs", "model states for this workflow", "find intermittent or unreproducible bugs", or test asynchronous multi-step operations.
