Test Generation with Inputs, Outputs, and Quiescence

G.J. Tretmans

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

    82 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), Lecture Notes in Computer Science 1055
    Place of PublicationPassau, Germany
    Pages127-146
    Number of pages20
    Publication statusPublished - 1 Jun 1996

    Keywords

    • METIS-120049

    Cite this