Specification-based test selection in formal conformance testing

Tuomo Pyhälä

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Publication statusPublished - 2004
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameSeries A Research Reports
    PublisherHelsinki University of Technology, Laboratory for Theoretical Computer Science


    • formal conformance testing
    • on-the-fly testing
    • specification-based coverage
    • test selection

    Cite this