What problem does it solve? Designing black-box test cases for stateful features (login lockout, cart lifecycle, order status, OTP flows) is error-prone when done ad hoc. This Skill applies the State Transition Testing technique systematically, producing a complete, traceable test artifact set from the EShop requirements specification. ## Core Features & Use Cases - Four-step guided workflow: suggests applicable FRs from README.md, builds a state model (states, actions, State×Actions table, mermaid diagram), generates End-to-End test cases as individual markdown files, then executes them and writes bug reports — pausing for user confirmation at each step. - Strict modeling conventions: full state names (no S0/S1), mermaid stateDiagram-v2 charts, C1 tables with exactly |States|×|Actions| rows, and bidirectional Test Case ↔ Bug traceability. - Use Case: Ask it to apply state transition testing to FR-07 (shopping cart); it produces a Test Design document, TC-CART-E2E-xx test case files, bug reports for failures, and a traceability matrix ready for coursework submission. ## Quick Start Ask the agent to apply state transition testing to FR-07 of the EShop spec and confirm each step as it presents the design, test cases, and execution results.