Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Formal Approach to ObjectOriented Software Testing and Complexity Measurement with Z


    Beteiligte:
    Pai, W. C. (Autor:in) / Wang, C.-C. (Autor:in)


    Erscheinungsdatum :

    1998-01-01


    Format / Umfang :

    12 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    004.16





    Multi-level software testing based on cyclomatic complexity

    Emergy, K.O. / Mitchell, B.K. | Tema Archiv | 1989


    Validation of Control Software by Search-Based Testing Using Formal Methods

    Kobuna, Shunsuke / Yamaguchi, Tomoya / Kaga, Tomoyuki | SAE Technical Papers | 2016


    Formal System Specification and Testing of Critical Real-time Vehicle Control Software

    Michael, J. B. / Segal, A. C. | British Library Conference Proceedings | 1994