Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
Alexandre Mota
Latest
Model Checking Requirements
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
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
Analytical Comparison of Refinement Checkers
Cite
×