RobotFix : Detecting Bugs On Variables In Robot Programs - Tavares, Miguel Rodrigues (2022)