Search Constraints

Start Over
Filtering by: Creator Corrigan, Tim F. Remove constraint Creator: Corrigan, Tim F. Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • Adaptation-based programming

    Creator:
    Bauer, Tim
    Abstract:
    Partial programming is a field of study where users specify an outline or skeleton of a program, but leave various parts undefined. The undefined parts are then completed by an external mechanism to form a complete program. Adaptation-Based Programming (ABP) is a method of partial programming that utilizes techniques from...
    Resource Type:
    Dissertation
    Full Text:
    DISSERTATION OF Tim Bauer for the degree of Doctor of Philosophy in Computer Science presented on January

  • Test case prioritization

    Creator:
    Chu, Chengyun, 1974-
    Abstract:
    Prioritization techniques are used to schedule test cases to execute in a specific order to maximize some objective function. There are a variety of possible objective functions, such as a function that measures how quickly faults can be detected within the testing process, or a function that measures how fast...
    Resource Type:
    Masters Thesis
    Full Text:
    am lucky to work with such a good professor. Thanks also to Dr. Tim Budd, for serving as my minor

  • Dimension checking tools for spreadsheets

    Creator:
    Chambers, Chris (Christopher Willie)
    Abstract:
    We present the evolution of a reasoning system for inferring dimension information in spreadsheets. The three papers included in this thesis show how the initial system can be used to check the consistency of spreadsheet formulas and thus is able to detect errors in spreadsheets, and the evolution to a...
    Resource Type:
    Masters Thesis
    Full Text:
    ( f ), and an integer exponent (n). (We can view a dimension as a partial mapping from base

  • How well do professional developers test with code coverage visualizations? : an empirical study

    Creator:
    Lawrance, Joseph A.
    Abstract:
    Professional software developers do not test code adequately, even though testing tools are widely available. Until developers realize the deficiencies in their tests, inadequate testing of software seems likely to remain a major problem. To support developers writing tests, industry and researchers have proposed systems that visualize “testedness” for end-user...
    Resource Type:
    Masters Thesis
    Full Text:
    , Author Approved by Committee: Major Professor (Margaret Burnett) Committee Member (Tim Budd

  • Structured representation of composite software changes

    Creator:
    Chabra, Aarti
    Abstract:
    In a software development cycle, programs go through many iterations. Identifying and understanding program changes is a tedious but necessary task for programmers, especially when software is developed in a collaborative environment. Existing tools used by the programmers either lack in finding the structural differences, or report the differences as...
    Resource Type:
    Masters Thesis
    Full Text:
    thankful to my research group members, Eric, Duc, Rahul, Sheng, Tim and Chris, for their help. Lastly, I

  • Volume minimized generalized cross entropy for learning with label noise

    Creator:
    Wolnick, Daniel
    Abstract:
    The types and rates of label noise in real-world data sets present a challenge to machine learning projects. In this thesis, we propose a novel approach to address this issue. Our method combines a noise modelling technique for correcting label noise across the entire data set with a robust loss...
    Resource Type:
    Honors College Thesis
    Full Text:
    Ibrahim, Committee Member, representing School of Electrical Engineering and Computer Science Tim

  • Executable semantics for PLEXIL : simulating a task-scheduling language in Haskell

    Creator:
    Strauss, Paul J.
    Abstract:
    An interdisciplinary study into the theory of design decisions has yielded a model for tracking design changes in hardware/software systems, but it still needs to be applied to a larger system to test its efficiency at tracking important data. This thesis creates an implementation of PLEXIL, a language in development...
    Resource Type:
    Masters Thesis
    Full Text:
    Tumer, Tim Budd, and Harry Yen, for attending meetings with me to help guide the design of my work. I

  • DataLab, a graphical system for specifying and synthesizing abstract data types

    Creator:
    Al-Mulhem, Muhammed Saleh
    Abstract:
    Formal methods using text to specify abstract data types (ADTs) are powerful, but they require great effort and a high level of expertise. Visual programming languages present an alternative way of programming but are limited to building small programs. This research presents an approach for specifying ADTs using a combination...
    Resource Type:
    Dissertation
    Full Text:
    my committee members: Prof. Tim Budd, Prof. Bruce D'Ambrosio, Prof. Toshi Minoura, and Prof. Walter

  • End-user software engineering in the spreadsheet paradigm

    Creator:
    Abraham, Robin
    Abstract:
    Spreadsheets are among the most widely used end-user programming systems. Unfortunately, there is a high incidence of errors in end-user spreadsheets, and some of these errors have high impact. In this dissertation, we describe techniques we have developed to help end users develop safer spreadsheets. As part of our research,...
    Resource Type:
    Dissertation
    Full Text:
    that can be exploited in different ways. We assume a set F that contains all possible formulas. Cell

  • Topics in toroidal interconnection networks

    Creator:
    Broeg, Robert Richard
    Resource Type:
    Dissertation
    Full Text:
    committee: Dr. Phillip Sollins of the Forestry department, Drs. Paul Cull, Tim Budd, Walter Rudd, and