Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Pai, W. C. (author) / Wang, C.-C. (author)


    Publication date :

    1998-01-01


    Size :

    12 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    004.16





    Multi-level software testing based on cyclomatic complexity

    Emergy, K.O. / Mitchell, B.K. | Tema Archive | 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