Figure 5: Automated test generation architecture for UAV flight control software testing.