A probabilistic coverage for on-the-fly test generation algorithms

N. Goga

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

    Original languageEnglish
    Title of host publicationProceedings Third Workshop on Automated Verification of Critical Systems (AVoCS 2003, Southampton, UK, April 2-3, 2003), Technical Report DSSE-TR-2003-2
    EditorsM. Leuschel, S. Gruner, S. Presti
    Place of PublicationSouthampton, UK
    PublisherUniversity of Southampton
    Publication statusPublished - 2003

    Cite this