Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
Gustavo Carvalho
,
Flávia Barros
,
Ana Carvalho
,
Ana Cavalcanti
,
Alexandre Mota
,
Augusto Sampaio
January 2015
Cite
DOI
URL
Type
Conference paper
Publication
Software Engineering and Formal Methods
Related
Test Case Generation from Natural Language Requirements Based on SCR Specifications
A Formal Model for Natural-Language Timed Requirements of Reactive Systems
Model Checking Requirements
Analytical Comparison of Refinement Checkers
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
Cite
×