Browse Dissertations and Theses - Computer Science by Author "Lu, Shan"

  • Lu, Shan (2008)
    The third main contribution is along the lines of exploring concurrent programs' interleaving space and exposing concurrency bugs. This thesis presents a hierarchy of interleaving coverage criteria. This hierarchy includes ...

    application/pdf

    application/pdfPDF (10MB)Restricted to U of Illinois