Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
Flávia Barros
Latest
Model Checking Requirements
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
Model-Based Testing from Controlled Natural Language Requirements
Test Case Generation from Natural Language Requirements Based on SCR Specifications
Cite
×