Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automated benchmark generation based upon a specification language


    Contributors:
    RAJAN, N. (author) / FETEIH, S. (author) / SAITO, J. (author)

    Conference:

    Digital Avionics Systems Conference ; 1984 ; Baltimore , MD , U.S.A.



    Publication date :

    1984-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    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 specification-based test case generation using SCR

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


    Software Specification Language

    Buckles, B. P. / Ryan, J. P. / Austin, S. L. | NTRS | 1983


    Benchmark for road marking detection: Dataset specification and performance baseline

    Liu, Xiaolong / Deng, Zhidong / Lu, Hongchao et al. | IEEE | 2017