Automated Generation of Air Traffic Encounters for Testing Conflict-Resolution Software.
Russell A. PaielliPublished in: J. Aerosp. Inf. Syst. (2013)
Keyphrases
- conflict resolution
- air traffic
- air traffic control
- software testing
- test cases
- civil aviation
- resolve conflicts
- access control policies
- test suite
- software systems
- exception handling
- free flight
- resolving conflicts
- air traffic management
- real time
- extended logic programs
- software development
- mobile robot
- multi agent
- information sharing
- intrusion detection
- trade off