Search Constraints

Start Over
Filtering by: Contributor Walkingshaw, Eric Remove constraint Contributor: Walkingshaw, Eric Degree Level Doctoral Remove constraint Degree Level: Doctoral

Search Results

  • 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
    Full Text:
    : Variational Satisfiability Solving Abstract approved: Eric Walkingshaw Over the last two decades

  • Theory and Implementation of a Variational Database Management System

    Creator:
    Ataei, Parisa S.
    Abstract:
    In this thesis, I present the variational database management system, a formal framework and its implementation for representing variation in relational databases and managing variational information needs. A variational database is intended to support any kind of variation in a database. Specific kinds of variation in databases have already been...
    Resource Type:
    Dissertation
    Full Text:
    Implementation of a Variational Database Management System Abstract approved: Eric Walkingshaw In this thesis

  • The choice calculus : a formal language of variation

    Creator:
    Walkingshaw, Eric
    Abstract:
    In this thesis I present the choice calculus, a formal language for representing variation in software and other structured artifacts. The choice calculus is intended to support variation research in a way similar to the lambda calculus in programming language research. Specifically, it provides a simple formal basis for presenting,...
    Resource Type:
    Dissertation
    Full Text:
    AN ABSTRACT OF THE DISSERTATION OF Eric Walkingshaw for

  • Custom Keyboards for Inputting Programs on Touchscreen Devices

    Creator:
    Almusaly, Islam M.
    Abstract:
    Soft keyboards come in different shapes, sizes, and layouts. Each layout is designed to help the users in different inputting tasks. Most of these layouts, however, focus on general text entry as opposed to computer programs. This dissertation addresses the problems with current input mechanisms on touchscreen devices. The dissertation...
    Resource Type:
    Dissertation
    Full Text:
    committee members, professor Eric Walkingshaw, professor Kenneth Funk, and professor Michael Pavol for

  • Design and Application of Variational Representations

    Creator:
    Smeltzer, Karl J.
    Abstract:
    Variability is an important and widely studied topic across domains such as version control, software product lines, and metaprogramming. This dissertation presents an investigation into the process of systematically adding variability to data structures and programs, leading to guidelines for variational data structures and implications for programs that create, manipulate,...
    Resource Type:
    Dissertation
    Full Text:
    , including Margaret Burnett, Eugene Zhang, Eric Walkingshaw, Ron Metoyer, Mike Rosulek, and Julia Jones

  • Variational Typing and Its Applications

    Creator:
    Chen, Sheng
    Abstract:
    The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
    Resource Type:
    Dissertation
    Full Text:
    Groce, Prasad Tadepalli, and Eric Walkingshaw, offered a lot of support during my study here. Thank

  • Variations Foraging

    Creator:
    Srinivasa Ragavan, Sruti
    Abstract:
    Information Foraging Theory (IFT) has successfully explained how people seek information in various domains, in turn, informing the design of several tools and information-intensive environments. However, prior research has not explored foraging in the presence of several, very similar variants of the same artifact. Such variants are commonplace in several...
    Resource Type:
    Dissertation
    Full Text:
    , Dr. Anita Sarma, Dr. Cindy Grimm, Dr. Eric Walkingshaw and Dr. David Kling for all their feedback

  • On the limits of mutation analysis

    Creator:
    Gopinath, Rahul
    Abstract:
    Mutation analysis is the gold standard for evaluating test-suite adequacy. It involves exhaustive seeding of all small faults in a program and evaluating the effectiveness of test suites in detecting these faults. Mutation analysis subsumes numerous structural coverage criteria, approximates fault detection capability of test suites, and the faults produced...
    Resource Type:
    Dissertation

  • Information Theoretical Analysis of Self-Similar Trees

    Creator:
    Chunikhina, Evgenia V.
    Abstract:
    Tree-like patterns are ubiquitous in nature. Botanical trees, river networks, and blood systems are the most well-known examples of complex hierarchical systems met in observations. Interestingly, many of such systems exhibit statistical self-similarity. There are two main types of self-similarity: Horton self-similarity and Tokunaga self-similarity. Although there is an increased...
    Resource Type:
    Dissertation
    Full Text:
    . David Koslicki (my mathematics minor advisor), Prof. Bella Bose, Prof. Eric Walkingshaw, and Prof

  • Eliciting informal specifications from scientific modelers for evaluation and debugging

    Creator:
    Bogart, Christopher
    Abstract:
    Professional software engineers have an arsenal of techniques such as unit testing and assertions to check their specifications, but these techniques require tools, motivation, experience and training that programmers without professional software engineering training may not have. As a result, professionals in other fields, such as scientific modelers, face greater...
    Resource Type:
    Dissertation
    Full Text:
    Bahmani, Joey Lawrance, Laura Beckwith, Kyle Rector, Chris Chambers, Eric Walkingshaw, Chris Scaffidi