- develop an automatic property-based testing technique for ROS nodes; - identify and analyze relevant related work; - evaluate the effectiveness of the developed technique through its application to the software of a realistic robotic system; - write the activity report of the grant.
graduate and master in computer engineering or related field
Minimum profile required
- 1 peer reviewed conference or jornal paper.- average BSc and MSc grades of at least 14.
- experience with the Robot Operating System; - experience in the development and usage of automated testing techniques.
Since 05 May 2020 to 18 May 2020
Cluster / Centre
Computer Science / High-Assurance Software