Simulation-based Test Case Generation for Unmanned Aerial Vehicles in the Neighborhood of Real Flights | IEEE Conference Publication | IEEE Xplore