Towards Formal Test Purposes

R.G. de Vries

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

    217 Downloads (Pure)

    Abstract

    This volume contains the proceedings of FATES '01 held at the University of Aalborg on August 25, 2001, as a satellite workshop of CONCUR '01
    Original languageUndefined
    Title of host publicationFormal Approaches to Testing of Software 2001 (FATES'01)
    EditorsH. Brinksma, G.J. Tretmans, Hendrik Brinksma
    Place of PublicationAarhus, Denkmark
    PublisherBRICS, University of Aarhus
    Pages61-76
    Number of pages16
    Publication statusPublished - Aug 2001
    Event1st International Workshop on Formal Approaches to Testing of Software, FATES 2001 - Aarhus, Denmark
    Duration: 20 Aug 200125 Aug 2001
    Conference number: 1

    Publication series

    NameBRICS Notes Series
    NumberNS-01-4
    VolumeNS-01-4
    ISSN (Print)0909-3206

    Workshop

    Workshop1st International Workshop on Formal Approaches to Testing of Software, FATES 2001
    Abbreviated titleFATES 2001
    Country/TerritoryDenmark
    CityAarhus
    Period20/08/0125/08/01

    Keywords

    • EWI-6454
    • IR-66272
    • METIS-204176
    • FMT-TESTING

    Cite this