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
A Systematic Mapping Study on Robotic Testing of Mobile Devices
RoboWorld: Where Can My Robot Work?
Multi-objective Search for Effective Testing of Cyber-Physical Systems
Formal Modelling of Environment Restrictions from Natural-Language Requirements
A Process for Sound Conformance Testing of Cyber-Physical Systems
Simulation of hybrid systems from natural-language requirements
Model Checking Requirements
Test Case Generation from Natural Language Requirements Using CPN Simulation
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
A Formal Model for Natural-Language Timed Requirements of Reactive Systems
»
Cite
×