On Input Generators for Cyber-Physical Systems Falsification - Ramezani, Zahra; Donzé, Alexandre; Fabian, Martin; Åkesson, Knut (Systematisk testning av cyberfysiska system (SyTeC) IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024)