Manual and AI Tools to Write, Size, and Validate User Stories with Robust Acceptance Criteria and Gherkin Scenarios