Supplementary material for "StellaUAV: A Tool for Testing the Safe Behavior of UAVs with Scenario-Based Testing"

This is the supplementary material for the paper:

Schmidt, T. and Pretschner, A. (2022). StellaUAV: A Tool for Testing the Safe Behavior of UAVs with Scenario-Based Testing. In Proceedings of the 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE'22). IEEE.  

The supplementary material includes the source code for the tool StellaUAV for testing the safe behavior of the PX4 drone with scenario-based testing as a .zip file. Follow the instructions in the README.md file to run the tool.

If you use any parts from this supplemental material, please cite both this material and our corresponding paper.