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 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.


Supports automatic generation of test cases for timed reactive systems from controlled natural-language requirements, using different formalisms, techniques and tools.