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 Using CPN Simulation
Bruno Cesar F. Silva
,
Gustavo Carvalho
,
Augusto Sampaio
January 2016
Cite
DOI
URL
Type
Conference paper
Publication
Formal Methods: Foundations and Applications
Related
CPN simulation-based test case generation from controlled natural-language requirements
Analytical Comparison of Refinement Checkers
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
Test Case Generation from Natural Language Requirements Based on SCR Specifications
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
Cite
×