Release for SBFT 2023 Tool Competition

Release for the Cyber-physical systems (CPS) testing competition, organized as part of the SBFT workshop at ICSE 2023. The main changes include:

• new model generator for BeamNG.tech system that accounts for steering angle
• minimization algorithm for generated test cases

External project support

The code has been updated to bettter support the use of EvoMBT as a library.

An example of project that uses EvoMBT is available here.

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.

v1.1.0

Contains the k-transition coverage criterion as well as important performance improvements.

SSBSE 2021

Stable version presented to the 13th Symposium on Search-Based Software Engineering (SSBSE 2021) in paper

Search-based Automated Play Testing of Computer Games: a model-based approach
Ferdous, Raihana; Kifetew, Fitsum; Prandi, Davide; Prasetya, I. S. W. B; Shirzadehhajimahmood, Samira; Susi, Angelo

Preprint available on Zenodo.