A framework for test selection

Hendrik Brinksma, G.J. Tretmans, L. Verhaard

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationPSTV XI (11th International Symporsium on Protocol Specification, Testing and Verification
    Place of PublicationStockholm, Zweden
    Pages233-248
    Number of pages16
    Publication statusPublished - 17 Jun 1991

    Keywords

    • METIS-119505

    Cite this

    Brinksma, H., Tretmans, G. J., & Verhaard, L. (1991). A framework for test selection. In PSTV XI (11th International Symporsium on Protocol Specification, Testing and Verification (pp. 233-248). Stockholm, Zweden.
    Brinksma, Hendrik ; Tretmans, G.J. ; Verhaard, L. / A framework for test selection. PSTV XI (11th International Symporsium on Protocol Specification, Testing and Verification. Stockholm, Zweden, 1991. pp. 233-248
    @inproceedings{94f5c636b0f04637a5268ffc7d1c5942,
    title = "A framework for test selection",
    keywords = "METIS-119505",
    author = "Hendrik Brinksma and G.J. Tretmans and L. Verhaard",
    year = "1991",
    month = "6",
    day = "17",
    language = "Undefined",
    pages = "233--248",
    booktitle = "PSTV XI (11th International Symporsium on Protocol Specification, Testing and Verification",

    }

    Brinksma, H, Tretmans, GJ & Verhaard, L 1991, A framework for test selection. in PSTV XI (11th International Symporsium on Protocol Specification, Testing and Verification. Stockholm, Zweden, pp. 233-248.

    A framework for test selection. / Brinksma, Hendrik; Tretmans, G.J.; Verhaard, L.

    PSTV XI (11th International Symporsium on Protocol Specification, Testing and Verification. Stockholm, Zweden, 1991. p. 233-248.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - A framework for test selection

    AU - Brinksma, Hendrik

    AU - Tretmans, G.J.

    AU - Verhaard, L.

    PY - 1991/6/17

    Y1 - 1991/6/17

    KW - METIS-119505

    M3 - Conference contribution

    SP - 233

    EP - 248

    BT - PSTV XI (11th International Symporsium on Protocol Specification, Testing and Verification

    CY - Stockholm, Zweden

    ER -

    Brinksma H, Tretmans GJ, Verhaard L. A framework for test selection. In PSTV XI (11th International Symporsium on Protocol Specification, Testing and Verification. Stockholm, Zweden. 1991. p. 233-248