Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
Projects
Robotic Mobile Testing
In this project, we are developing a CNL for supporting the specification of test cases of mobile devices, which are performed with the aid of robotic arms.
Roboworld
RoboWorld is a controlled natural language (CNL) for the specification of environment and platform assumptions with a precise semantics in the context of the RoboStar technology.
NAT2TEST
Supports automatic generation of test cases for timed reactive systems from controlled natural-language requirements, using different formalisms, techniques and tools.
Cite
×
