We describe a progression from pilot studies to development and use of domain-specific verification and validation (V&V) automation. Our domain is the testing of an AI planning system that forms a key component of an autonomous spacecraft.
Automatic Generation of Test Oracles - From Pilot Studies to Application
2000-03-01
Sonstige
Keine Angabe
Englisch
testing , validation , autonomous , analysis , verification , oracles , test , systems , planning
Automatic Pilot For Flight-Test Maneuvers
NTRS | 1992
|Test Pilot Selection for the Next Generation
British Library Conference Proceedings | 2010
|[Rezension von: Lightfoot, Jane L., The Sibylline oracles]
DataCite | 2009
|Provably Secure Identity-Based Threshold Signature without Random Oracles
British Library Online Contents | 2009
|USAF Test Pilot Selection for the Next Generation
AIAA | 2010
|