Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
CPN simulation-based test case generation from controlled natural-language requirements
Bruno Cesar F. Silva
,
Gustavo Carvalho
,
Augusto Sampaio
January 2019
Cite
DOI
URL
Type
Journal article
Publication
Science of Computer Programming
Related
Test Case Generation from Natural Language Requirements Using CPN Simulation
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
×