GitHub repository: ECDAR-AAU-SW-P5/Ecdar-Test
Description: Common test framework for the Ecdar engines