Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
Test Case Generation from Natural Language Requirements Based on SCR Specifications
Gustavo Carvalho
,
Diogo Falcão
,
Flávia Barros
,
Augusto Sampaio
,
Alexandre Mota
,
Leonardo Motta
,
Mark Blackburn
January 2013
Cite
DOI
URL
Type
Conference paper
Publication
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Related
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
Model Checking Requirements
Analytical Comparison of Refinement Checkers
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
Cite
×