Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Automating Test Case Generation for Coverages Required by FAA Standard DO-178B


    Contributors:
    Voas, J. (author) / Payne, J. (author) / Miller, K. (author) / AIAA

    Conference:

    9th Conference, Computing in aerospace 9 ; 1993 ; San Diego; CA



    Publication date :

    1993-01-01


    Size :

    9 pages


    Remarks:

    In 2 vols


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Automating test case generation for coverages required by FAA standard DO-178B

    Voas, Jeffrey / Payne, Jeffery / Miller, Keith | AIAA | 1993



    Integrating an assurance case into DO-178B compliant software development

    Knight, John / Rowanhill, Jonathan / Ferrell, Uma et al. | IEEE | 2015

    Free access


    Model-Based Design for DO-178B with Qualified Tools

    Erkkinen, Thomas / Potter, Bill | AIAA | 2009