Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

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


    Published in:

    Publication date :

    2022



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Classification :

    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