1 research outputs found
Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems
The safety of the systems controlled by software is a very important area in
a digitalized society, as the number of automated processes is increasing. In
this paper, we present the results of testing the accuracy of different lane
keeping controllers for an educational robot. In our approach, the robot is
controlled using numerical P systems and enzymatic numerical P systems. For
tests generation, we used an open-source tool implementing a search-based
software testing approach.Comment: In Proceedings FROM 2023, arXiv:2309.1295