NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 20 of 405 for “"source code"”.

  1. Predicting Changes to Source Code

    Roll, Justin James2016

    … to developers. Organizations typically also use source control management (SCM) repositories such as Git to track historical changes to a code-base. These ITS and SCM repositories contain valuable data that remains largely untapped. As developers churn through an organization, it becomes …

    calpoly Repository record

  2. Automatic documentation generation from source code

    Che, DeniseMassachusetts Institute of Technology2016

    … documentation into the functionalities of the codebase. We explored this idea in the context of Exhibit, a data publishing framework developed at MIT CSAIL's Haystack group. Exhibit enables those without much programming experience to create data-rich interactive webpages. We created an …

    mit Repository record

  3. Using specifications to check source code

    Evans, David Elliot, 1971-Massachusetts Institute of Technology1994

    Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.

    mit Repository record

  4. Source Code Retrieval using Case Based Reasoning

    Pitu, MihaiNational University of Ireland Maynooth2013

    Formal verification of source code has been extensively used in the past few years in order to create dependable software systems. However, although formal languages like Spec# or JML are getting more and more popular, the set of verified implementations is very small and only growing slowly. Our …

    maynooth Repository record

  5. Source code security analysis and fuzzy logic

    Moskalyuk, Alexander

    … is targeted towards elimination of such errors. Code security and Java code security specifically was not a critical issue a decade ago. However, the development of the Internet-based applications and network architectures, which now employ millions of stand-alone computers that perhaps were …

    eastern-wash Repository record

  6. Using source code to solve control problems

    Hernandez Cano, LeonardoMassachusetts Institute of Technology2024

    … structure of problem domains can often be coded into domain-specific simulators that model the high-level dynamics of the domain. This presents an opportunity to reuse that structure when describing the planning domain. We argue, this decreases the effort required to implement a planning …

    mit Repository record

  7. Closure: Transforming Source Code for Faster Fuzzing

    Paterson, Ian G.Virginia Tech2022

    … for invalid states and coverage of the programs code base, while relying on forking to reset the state accrued by looping over the same piece of code multiple times. Stale state can lead to wasted fuzzing efforts as certain areas of code may be conditionally ignored due to a stale global. I …

    vt Repository record

  8. Source Code Matching for Reuse of Formal Specifications

    Grijincu, DanielaNational University of Ireland Maynooth2013

    … and complexity. In this project we focus on the source code matching module of Arís (Analogical Reasoning for reuse of Implementation & Specification) platform in which we aim to increase the number of verified programs by reducing the effort of writing specifications. Our approach promotes the …

    maynooth Repository record

  9. Automatic Source Code Transformation To Pass Compiler Optimization

    Kahla, Moustafa MohamedVirginia Tech2024

    … equivalence between the original and optimized code versions, a requirement typically established through the compiler's static analysis. When this condition is not met, the compiler will miss the optimization. The process of manually rewriting the source code to pass an already missed compiler …

    vt Repository record

  10. CLOSUREX: Transforming Source Code for Correct Persistent Fuzzing

    Ranjan, RishiVirginia Tech2024

    … with AFL++. Our evaluation on ten popular open-source fuzzing targets show that CLOSUREX maintains semantic correctness all while increasing test case execution rate by over 3.5x, on average, compared to AFL++. CLOSUREX also finds bugs more consistently and 1.9x faster than AFL++, with CLOSUREX …

    vt Repository record

  11. Assessing the effect of source code characteristics on changeability

    Lozano Rodriguez, AngelaThe Open University2009

    … application are introduced. Thus, eliminating source code that presents characteristics that hamper maintenance becomes necessary if the application is to evolve. We group these characteristics under the term Source Code Issues. Even though there is support for detecting Source Code Issues, the …

    the-open-u Repository record

  12. Remix and reuse of source code in software production

    Jones, M. CameronUniversity of Illinois at Urbana-Champaign2011

    … that programmers frequently copy and paste code. Although this practice is widely acknowledged, it is rarely studied directly, or explicitly accounted for in models of software development. However, this attitude is changing as software becomes more ubiquitous, and software development …

    uiuc Repository record

  13. Securing software : an evaluation of static source code analyzers

    Zitser, Misha, 1979-Massachusetts Institute of Technology2003

    … ARCHER, BOON, Splint, and UNO--using 14 code examples that illustrated actual buffer overflow vulnerabilities found in various versions of Sendmail, BIND, and WU-FTPD. Each code example included a "BAD" case with one or more buffer overflow vulnerabilities and a "PATCHED" case without …

    mit Repository record

  14. Automated generation of SW design constructs from Mesa source code

    Egerton, David

    rit Repository record

  15. Predicting mutation score using source code and test suite metrics

    Jalbert, KevinUniversity of Ontario Institute of Technology2012

    … predict mutation score based on a combination of source code and test suite metrics. We conducted an empirical evaluation of our approach to evaluated its effectiveness using eight open source software systems.

    uoit Repository record

  16. Improved source code editing for effective ad-hoc code reuse

    Han, SangmokMassachusetts Institute of Technology2011

    Code reuse is essential for productivity and software quality. Code reuse based on abstraction mechanisms in programming languages is a standard approach, but programmers also reuse code by taking an ad-hoc approach, in which text of code is reused without abstraction. This thesis focuses on …

    mit Repository record

  17. Source Code Retrieval from Large Software Libraries for Automatic Bug Localization

    Sisman, Bunyamin

    <p>This dissertation advances the state-of-the-art in information retrieval (IR) based approaches to automatic bug localization in software. In an IR-based approach, one first creates a search engine using a probabilistic or a deterministic model for the files in a software library. Subsequently, a …

    purdue-thes Repository record

  18. CodeScoping: A source code based tool to software product lines scoping

    Medeiros, Thiago Fernandes Lins deUniversidade Federal de Pernambuco2011

    Engenharia de Linhas de Produto de Software (ELPS) emergiu rapidamente como uma importante abordagem de desenvolvimento de software durantes os últimos anos. ELPS foca-se na identificação e gerenciamento dos pontos em comum (commonalities) e dos pontos de variação (variabilities) de um conjunto de …

    brazil-ufpe Repository record

  19. Understanding and predicting method-level source code changes using commit history data

    Heron, JosephUniversity of Ontario Institute of Technology2016

    … software maintenance require a large amount of source code changes to be made to a software repositories. Any change to a repository can introduce new resource needs which will cost more time and money to the repository owners. Therefore it is useful to predict future code changes in an effort …

    uoit Repository record

  20. Detecting software vulnerabilities in source code and the influence of variable naming

    Mathijssen, D2022

    openu Repository record

Page 1 of 21