Firefighting UAV Repository

This repository contains code, models, mutants, and the results of the experiment discussed in the paper titled "Model-based testing and runtime verification of a Firefighting UAV".