Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
1
Model-Based Testing from Controlled Natural Language Requirements
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
Test Case Generation from Natural Language Requirements Based on SCR Specifications
A Formal Analysis of Concurrent Assembly Code based on CSP
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
An Analytical and Experimental Comparison of CSP Extensions and Tools
Analytical Comparison of Refinement Checkers
«
Cite
×