Automatic model-based generation of parameterized test cases using data abstraction

J.R. Calamé, N. Ioustinova, J.C. Pol, van de

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

    8 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005, Eindhoven, The Netherlands, 29 November, 2005
    EditorsJ. Romijn, G. Smith, J. Pol, van de
    Publication statusPublished - 2007

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    ISSN (Print)1571-0061

    Cite this