Search Constraints

Start Over
Filtering by: Creator Menzies, David Remove constraint Creator: Menzies, David Committee Member Erwig, Martin Remove constraint Committee Member: Erwig, Martin

Search Results

  • Leveraging Generated Tests

    Creator:
    Alipour, Mohammad Amin
    Abstract:
    The main goal of automated test generation is to improve the reliability of a program by exposing faults to developers. To this end, testing should cover the largest possible portion of the program given a test budget (i.e., time and resources) as frequently as possible. Coverage of a program entity...
    Resource Type:
    Dissertation
    Full Text:
    Generated Tests Abstract approved: Alex David Groce The main goal of automated test generation is to

  • Variational Satisfiability Solving

    Creator:
    Young, Jeffrey M.
    Abstract:
    Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
    Resource Type:
    Dissertation