Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist. - Khatiri, Sajad; Panichella, Sebastiano; Tonella, Paolo (ICSE: International Conference on Software Engineering, 2024)