Search Results - "Symbolic execution"

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

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

    Published 2012
    Subjects: “…Symbolic execution…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    Extended probabilistic symbolic execution by Uwimbabazi, Aline

    Published 2013
    Subjects: “…Symbolic execution…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: