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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Automatic Generation of Test Oracles - From Pilot Studies to Application


    Beteiligte:
    Smith, B. (Autor:in) / Feather, M. (Autor:in)

    Erscheinungsdatum :

    2000-03-01


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Automatic Pilot For Flight-Test Maneuvers

    Duke, Eugene L. / Jones, Frank P. / Roncoli, Ralph B. | NTRS | 1992


    Test Pilot Selection for the Next Generation

    Gray, W. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2010



    Provably Secure Identity-Based Threshold Signature without Random Oracles

    Xiong, H. / Li, F. / Qin, Z. | British Library Online Contents | 2009