Data accompanying the article "Generating Test Cases for Decentralized Swarming Unmanned Aerial Vehicles"

These data are the search results that were generated for and analyzed in the paper Generating Test Cases for Decentralized Swarming Unmanned Aerial Vehicles. If you use any parts from this supplemental material, please cite both this material and our corresponding paper.