AAT4IRS: automated acceptance testing for industrial robotic systems - dos Santos, Marcela G.; Hallé, Sylvain; Petrillo, Fabio; Guéhéneuc, Yann-Gaël (Frontiers in Robotics and AI, 2024)