2022-03-022022-03-02https://publica.fraunhofer.de/handle/publica/112297Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies