Systematic Testing of a ROS Interface Specification Backend. - Johannes Mey; Ariel Podlubne; René Schöne; Paul Gottschaldt; Diana Göhringer; Uwe Aßmann (RoSE, 2024)