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

N. Goga

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Originele taal-2Engels
    TitelProceedings Third Workshop on Automated Verification of Critical Systems (AVoCS 2003, Southampton, UK, April 2-3, 2003), Technical Report DSSE-TR-2003-2
    RedacteurenM. Leuschel, S. Gruner, S. Presti
    Plaats van productieSouthampton, UK
    UitgeverijUniversity of Southampton
    Pagina's15-30
    StatusGepubliceerd - 2003

    Citeer dit