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 33 for “"Software code"”.

  1. Strip-Miner: Automatic Bug Detection in Large Software Code with Low False Positive Rate

    … that combines simple dependency analysis of code with a data mining technique "frequent itemset mining" to reduce the false positive rate. We adopt a two phase approach 1) finding the potential bugs and 2) filtering the false positive ones. In the first phase we extract code elements and …

    vt Repository record for Strip-Miner: Automatic Bug Detection in Large Software Code with Low False Positive Rate (opens in a new tab)

  2. Dynamic Invariant Generation for Concurrent Programs

    … regions and diagnose concurrency errors in the software code. Although existing methods for dynamic invariant generation perform reasonably well on sequential programs, for multithreaded programs, their effectiveness often reduces dramatically in terms of both the number of invariants that they …

    vt Repository record for Dynamic Invariant Generation for Concurrent Programs (opens in a new tab)

  3. Testing and Security Related Considerations in Embedded Software

    … systems has caused a proliferation of embedded software in small devices. In practice, many of these devices are difficult to update to fix security flaws and software errors. This brings an emphasis on ensuring the secure and reliable software prior to the release of the device to ensure the …

    siu-theses Repository record for Testing and Security Related Considerations in Embedded Software (opens in a new tab)

  4. Implementation of ImageActionplus software for improved image analysis of solid propellant combustion holograms.

    … work reported in this thesis modified existing software code to make it compatible with installed upgrades in the microcomputer imaging system. In particular, this involved converting the format of C language function calls to ITEX/PC image processing software to that dictated by YTEX/FCplus …

    nps Repository record for Implementation of ImageActionplus software for improved image analysis of solid propellant combustion holograms. (opens in a new tab)

  5. Graphic user interface modelling and testing automation

    … Computing Surveys, on average, more than 45% of software code in a software application is dedicated to the GUI. However, GUI testing is extremely expensive. In unit testing, 10,000 cases can often be automatically tested within a minute whereas, in GUI testing, 10,000 simple GUI test cases need …

    vu-aus Repository record for Graphic user interface modelling and testing automation (opens in a new tab)

  6. Cloneless: Code Clone Detection via Program Dependence Graphs with Relaxed Constraints

    <p>Code clones are pieces of code that have the same functionality. While some clones may structurally match one another, others may look drastically different. The inclusion of code clones clutters a code base, leading to increased costs through maintenance. Duplicate code is introduced through a …

    calpoly Repository record for Cloneless: Code Clone Detection via Program Dependence Graphs with Relaxed Constraints (opens in a new tab)

  7. Liability for Defective Software in South Africa

    "There is no such thing as error-free code." This is neither the favoured mantra of a software development guru, nor the refrain of the chairman of a multinational software company, but the consensus of those at the coalface of software development the world over. [...] This paradigm raises …

    cape-town Repository record for Liability for Defective Software in South Africa (opens in a new tab)

  8. Constraint Solving for Diagnosing Concurrency Bugs

    … a significant amount of time inspecting the software code and execution traces to identify the root cause of a software bug. For a multithreaded program, debugging is even more challenging due to the subtle interactions between concurrent threads and the often astronomical number of possible …

    vt Repository record for Constraint Solving for Diagnosing Concurrency Bugs (opens in a new tab)

  9. Reusing software tests for configuration testing: A case study of the Hadoop project

    Configuration is an inseparable piece of today’s software development. Due to its dynamic nature and lack of standardized checking procedure, misconfiguration has been one of the dominant factors contributing to software failures in production and wide spread outages. Existing techniques (static …

    uiuc Repository record for Reusing software tests for configuration testing: A case study of the Hadoop project (opens in a new tab)

  10. Classifying GitHub repositories with minimal human efforts

    GitHub is a great platform for sharing software code, data, and other resources. To improve search and analysis of a vast spectrum of resources on GitHub, it is necessary to conduct automatic, flexible and user-guided classification of GitHub repositories. In this paper, we study how to build a …

    uiuc Repository record for Classifying GitHub repositories with minimal human efforts (opens in a new tab)

  11. Omnidirectional robotic platform : the control of an omnidirectional robotic platform for use in robot soccer

    … components were designed and implemented and software code written to control the robot in an omnidirectional manner.

    cape-town Repository record for Omnidirectional robotic platform : the control of an omnidirectional robotic platform for use in robot soccer (opens in a new tab)

  12. The Ravenscar-compliant hardware run-time (Ravenhart) kernel

    … designed to support Ravenscar compliant Ada95 code and provides task creation, task scheduling and inter-task communication capabilities. The timing properties embedded in the formal model are captured in terms of kernel performance within the hardware. The kernel was implemented using a Xilinx …

    mit Repository record for The Ravenscar-compliant hardware run-time (Ravenhart) kernel (opens in a new tab)

  13. An object-oriented methodology and supporting framework for creating engineering software by dynamic integration

    Software design within the engineering community has generally been relegated to encoding algorithms for the purpose of executing them very rapidly. This is a very important purpose, however substantially more is required to build an entire CAD application. Structure must be provided to the data …

    vt Repository record for An object-oriented methodology and supporting framework for creating engineering software by dynamic integration (opens in a new tab)

  14. Evaluating the Potential of Using Passive RFID Technology as a Real Time Location Tracking System to Assist an Individual with a Visual Impairment

    … More specifically, the first iteration of the software code employed the use of multiple RFID antennas to cooperatively designate unique zones, which allowed for the identification of a user’s general position. A series of tests were then conducted to assess the system’s accuracy. In addition, …

    calpoly Repository record for Evaluating the Potential of Using Passive RFID Technology as a Real Time Location Tracking System to Assist an Individual with a Visual Impairment (opens in a new tab)

  15. Analysis and Enforcement of Properties in Software Systems

    … approaches to ensure the safety and security of software systems are often labor intensive and error prone. Furthermore, they focus primarily on functional correctness of the software code while ignoring micro-architectural details of the underlying processor, such as cache and speculative …

    vt Repository record for Analysis and Enforcement of Properties in Software Systems (opens in a new tab)

  16. Automated Software Maintenance Using Search-Based Refactoring

    Search-based software maintenance (SBSM) is an area of research that uses refactorings, software metrics and search-based optimisation algorithms to automate aspects of the software maintenance process. Refactorings are used to improve the structure of software without affecting its functionality. …

    qu-belfast Repository record for Automated Software Maintenance Using Search-Based Refactoring (opens in a new tab)

  17. Development of a Time of Flight - Energy spectrometer for applications in Heavy Ion - Elastic Recoil Detection thin film analysis

    … Spectrum analysis was implemented using the software code KONZERD, enabling elemental quantification and measurement of film thickness. The lowest detectable atomic concentrations measured were 0.46 at.% for carbon and 0.84 at.% for oxygen. The analytical depth was up to 0.6 μm. Measurements …

    cape-town Repository record for Development of a Time of Flight - Energy spectrometer for applications in Heavy Ion - Elastic Recoil Detection thin film analysis (opens in a new tab)

  18. Automating business intelligence recovery in software evolution

    … extract business intelligence (BI) from software code to business intelligence base, which is a tank of BI. Business intelligence is the atomic unit to build a piece of program comprehensibility in business logic point of view. It outstands because it covers all reverse engineering levels …

    de-montfort Repository record for Automating business intelligence recovery in software evolution (opens in a new tab)

  19. Environment and development: A study of North-South conflict

    … A number of system dynamics models using STELLA software were built to do what-if type simulation analyses. The larger North-South simulation model consists of population, capital, resources, pollution, and agriculture sectors and appropriate trade and pollution transfer linkages between the two …

    uiuc Repository record for Environment and development: A study of North-South conflict (opens in a new tab)

  20. Fascia : a sleep mask for conducting sleep studies

    … of the device in hardware, firmware, and software. I include a brief description of some of the efforts made in the code to make it easier to debug while developing. Lastly, I discuss what work was completed, and what work remains to be done. I close with a full list of the tasks remaining …

    mit Repository record for Fascia : a sleep mask for conducting sleep studies (opens in a new tab)

Page 1 of 2