Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Automated specification-based test case generation using SCR


    Contributors:

    Conference:

    Workshop on Software Engineering for High Assurance Systems


    Publication date :

    2003-05-09


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Automated specification-based test case generation using SCR

    Nikora, A. P. / Heitmeyer, C. L. | NTRS | 2002


    Automated specification-based test case generation using SCR

    Nikora, A. P. / Heitmeyer, C. L. | NTRS | 2003


    Automated benchmark generation based upon a specification language

    RAJAN, N. / FETEIH, S. / SAITO, J. | AIAA | 1984


    Automated test case generation based on UML activity diagram model

    Zhang, M. / Liu, C. / Sun, C.-a. | British Library Online Contents | 2001


    MODEL BASED SCENARIO SPECIFICATION FOR DEVELOPMENT AND TEST OF AUTOMATED DRIVING FUNCTIONS

    Bach, Johannes / Otten, Stefan / Sax, Eric | British Library Conference Proceedings | 2016