Search Constraints

Start Over
Filtering by: Subject Embedded computer systems -- Testing Remove constraint Subject: Embedded computer systems -- Testing Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • 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:
    Master of Science in Computer Science presented on December 12, 2005. Title: A Domain-Specific Embedded

  • 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:
    testing has little ability (without considerable human effort) to focus on part of a system under test