Search Results - Inggs, Cornelia P.

  • Showing 1 - 5 results of 5
Refine Results
  1. Cover Image

    Concrete and symbolic linearisability checking of non-blocking concurrent data structures by Du Toit, Nicole Cathryn

    Published 2021
    Other Authors: “…Inggs, Cornelia P.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    Large language models and software testing by Dewey, Marco

    Published 2024
    Other Authors: “…Inggs, Cornelia P. …”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  3. Cover Image

    Analysing Student Code Submissions Using Program Analysis Techniques and Large Language Models by Grobbelaar, Nelia

    Published 2026
    Other Authors: “…Inggs, Cornelia P.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  4. Cover Image

    Automated coverage calculation and test case generation by Morrison, George Campbell

    Published 2012
    Other Authors: “…Inggs, Cornelia P.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  5. Cover Image

    Detecting and quantifying resource contention in concurrent programs by Venter, Dirk Willem

    Published 2016
    Other Authors: “…Inggs, Cornelia P.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: