Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automated Test Case Generation for the Verification of System and High-Level Software Requirements for Fly-By-Wire Platforms


    Beteiligte:

    Kongress:

    AIAA SciTech Forum and Exposition ; 2022 ; San Diego, Calif.; Online


    Erschienen in:

    Erscheinungsdatum :

    2022



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    BKL:    54.50 Programmierung: Allgemeines / 55.50 Luftfahrzeugtechnik / 55.60 Raumfahrttechnik




    Requirements-based Automated Test Generation for Safety Critical Software

    Li, Meng / Meng, Baoluo / Yu, Han et al. | IEEE | 2019



    Requirements Modeling and Automated Requirements-Based Test Generation

    Lee, C.-C. / Friedman, J. / Society of Automotive Engineers | British Library Conference Proceedings | 2013


    Requirements Modeling and Automated Requirements-Based Test Generation

    Lee, Chien-Chang / Friedman, Jon | SAE Technical Papers | 2013