Stress Testing CPS - Crazyflie dataset

This dataset contains the test traces generated for the Crazyflie case study of the paper "Stress Testing Control Loops in Cyber Physical Systems". After unzipping, copy the content of the folder cfdata_max015 in the code repository. Then, instead of executing the tests, the code will use the pre-generated traces.