Evaluation and verification of requirements artifacts: A Checklist applied to User Stories and Prototype. - Thiago S. Martins; Lucas S. Araújo; Ana Carolina Oran (SBQS, 2025)