Search Constraints

Start Over
Filtering by: Creator Corrigan, Tim F. Remove constraint Creator: Corrigan, Tim F. Committee Member Burnett, Margaret Remove constraint Committee Member: Burnett, Margaret

Search Results

  • 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

  • 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

  • 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

  • A domain-specific embedded language for probabilistic programming

    Creator:
    Kollmansberger, Steven
    Abstract:
    Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific...
    Resource Type:
    Masters Thesis
    Full Text:
    Committee, namely, Margaret Burnett, Michael Quinn and Tim Budd, for taking time out of their busy

  • Test case prioritization

    Creator:
    Malishevsky, Alexey Grigorievich
    Abstract:
    Regression testing is an expensive software engineering activity intended to provide confidence that modifications to a software system have not introduced faults. Test case prioritization techniques help to reduce regression testing cost by ordering test cases in a way that better achieves testing objectives. In this thesis, we are interested...
    Resource Type:
    Dissertation
    Full Text:
    Prioritization Problem: Given: T, a test suite; PT, the set of permutations of T; and f, a function from PT to

  • Formative Work Toward a Mixed-Initiative Programming Language

    Creator:
    Abbott, Keeley
    Abstract:
    Mixed-initiative programming entails collaboration between a computer system, and a human to achieve some desired goal or set of goals. Often these goals change or are amended in real time during the course of program execution. As such, the plans these programs are based on must adapt and evolve to...
    Resource Type:
    Masters Thesis

  • Implementing parameterized types in Java

    Creator:
    Vidos, Hugh
    Abstract:
    The goal of this project was to investigate the addition of parameterized types to the Java programming language. Two different parametric polymorphism mechanisms were developed and compared. The first was a preprocessor and the second was a compiler. Parameterized types allow a programmer to create generic programs. Much as a...
    Resource Type:
    Capstone Project
    Full Text:
    generic class does not have to be overridden. f Both C++ [Stroustrup9 l] and Leda [Budd95] support

  • 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:
    showing the meaning of a correct variational function. For a given function f : a Ñ b the variational

  • Automatic program generation for scientific computing

    Creator:
    Fu, Zhe
    Abstract:
    The code reuse problem is a common software engineering problem in scientific computing. As a prevailing programming language in many scientific fields, Fortran does not provide support to address this problem. One particular reason is that Fortran lacks the support for generic programming. By applying program-generation techniques, we developed two...
    Resource Type:
    Dissertation
    Full Text:
    10 Program Generator Haskell assimilation_1.f Fortran assimilation.tl Specification