A sub-system of ARIA-AT which automates the execution of its tests - View it on GitHub