Access

    Check access

    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 2022 Forum



    Publication date :

    2022-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English





    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