Search Constraints

Start Over
Filtering by: Creator Menzies, David Remove constraint Creator: Menzies, David Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • Investigating the Effects of Design Quality in OSS Projects

    Creator:
    Mannan, Umme Ayda
    Abstract:
    Software systems are becoming an essential part of the lives of both individuals and organizations, and as a consequence, these systems are getting bigger and more complex. Because of this, the tasks of maintaining the quality in these complex software systems are becoming increasingly difficult. Furthermore, these systems are subject...
    Resource Type:
    Dissertation

  • 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

  • An Investigation of the Effects of Merge Conflicts on Collaborative Software Development

    Creator:
    Brindescu, Caius
    Abstract:
    Merge conflicts have long plagued software development. With larger and more dispersed teams comes greater risk of developers working on the same code at the same time. While merge conflicts are known to be painful, their exact impact on software is still largely unknown. Are merge conflicts an isolated problem,...
    Resource Type:
    Dissertation