Support for beamng.tech system

Support of test case generation for beamng.tech driving simulator developed for the the tool competition for cyber-physical systems, organized as part of the SBST workshop at ICSE 2022. EFSM model and results are described in [1].

[1] R. Ferdous, C. Hung, F. M. Kifetew, D. Prandi, A. Susi. EvoMBT. 15th IEEE/ACM International Workshop on Search-Based Software Testing (tool competition), SBST@ICSE 2022. doi:10.1145/3526072.3527534.