Test Generation with Inputs, Outputs, and Quiescence

G.J. Tretmans, T. Margaria (Editor), B. Steffen (Editor)

    Research output: Contribution to conferencePaperAcademicpeer-review

    101 Downloads (Pure)
    Original languageUndefined
    Pages127-146
    Number of pages20
    Publication statusPublished - 1996
    Event2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1996 - Passau, Germany
    Duration: 27 Mar 199629 Mar 1996
    Conference number: 2

    Workshop

    Workshop2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1996
    Abbreviated titleTACAS
    CountryGermany
    CityPassau
    Period27/03/9629/03/96

    Keywords

    • FMT-TESTING
    • IR-66280
    • EWI-6494

    Cite this