Coverage-Directed Test Generation Using Symbolic Techniques, Formal Methods in CAD

Authors
Publication date
1 November 1996
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    University of East Anglia digital repository

    redirect
    oaioai:ueaeprints.uea.ac.uk:39110
    Last time updated on 12/07/2012