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 34 for “"software analysis"”.
-
Enterprise software : analysis of product strategies
… about five decades ago, the processing and software capabilities have grown by leaps and have become major components of businesses. The software applications and capabilities for major business have become necessity rather than a "differentiating" factor to conduct their businesses. This …
-
Abstract Transducers for Software Analysis and Verification
Whenever software faults can endanger human life, property, or the environment, the absence of faults must be ensured with utmost care and the best technologies available. Evidence is needed showing that all requirements are satisfied and that the risk of faults is reduced. One technique to conduct …
-
BINARY INSTRUMENTATION AND TRANSFORMATION FOR SOFTWARE SECURITY APPLICATIONS
The capabilities of software analysis and manipulation are crucial to counter software security threats such as malware and vulnerabilities. Binary instrumentation and transformation are the essential techniques to enable software analysis and manipulation. However, existing approaches fail to meet …
-
Visualization techniques for the analysis of software behavior and related structures
Software maintenance encompasses any changes made to a software system after its initial deployment and is thereby one of the key phases in the typical software-engineering lifecycle. In software maintenance, we primarily need to understand structural and behavioral aspects, which are difficult to …
-
Optimization of Lyapunov invariants in analysis and implementation of safety-critical software systems
… to two major research areas in safety-critical software systems, namely, software analysis, and software implementation. In reference to the software analysis problem, the main contribution of the dissertation is the development of a novel framework, based on Lyapunov invariants and convex …
-
Exploiting structure for scalable software verification
Software bugs are expensive. Recent estimates by the US National Institute of Standards and Technology claim that the cost of software bugs to the US economy alone is approximately 60 billion USD annually. As society becomes increasingly software-dependent, bugs also reduce our productivity and …
-
Verification and Validation of Artificial Pancreas Systems Software
… an example of emerging open-source DIY medical software solutions. We focus on AndroidAPS, an Android-based APS implementation primarily written in Kotlin. We address the need for testing and validating the app's safety and privacy and ensuring compliance with coding standards. We present a …
-
Analysis of Perturbation-based Testing Methodology as applied to a Real-Time Control System Problem
Perturbation analysis is a software analysis technique used to study the tail function of a program by inserting an error into an executing program using data state mutation. The impact of this induced error on the output is then measured. This methodology can be used to evaluate the effectiveness …
-
VERDICTS: Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software
… and research tools for visual exploratory software analysis. VERDICTS combines exploratory testing, tracing, visualization, dynamic discovery and injection of requirements specifications into a live quick-feedback cycle, without recompilation or restart of the system under test. This …
-
Development of PHP to UPML transformer
… languages. UPML aims to provide a general software quality analysis platform and as a gateway to translate programs between high-level programming languages. This research created and analyzed the features of UPML and concluded that UPML may have advantages over the traditional and newly …
-
Automated static analysis of virtual-machine packers
The ability to reverse the most advanced software protection schemes is a critical step in mitigating malicious code attacks. Unfortunately, the analyst side seems to be losing in the ongoing arms race between malware developers and reverse engineers. Obfuscation that takes advantage of a virtual- …
-
Generalized techniques for using system execution traces to support software performance analysis
… proposes generalized techniques to support software performance analysis using system execution traces in the absence of software development artifacts such as source code. The proposed techniques do not require modifications to the source code, or to the software binaries, for the purpose …
-
Finite Element Analysis of a Golf Ball and Driver Head Impact: Understanding the Feasibility of an Acoustical Optimization
… to ensure a proper solution was attained in the software analysis. An experimental and theoretical validation was performed that involved firing a golf ball at a titanium plate and comparing data from the impact to FEA simulations. Once the FEA program was validated, a golf club driver head model …
-
Architectural experience and motion : a design tool based on simulation and immersing technologies
… of a compelling architectural experience. An analysis of stimuli and determination of necessary levels of input is performed. For this, it is important to understand perception and environmental properties. In this thesis, a phenomenological approach to architectural experience analysis is …
-
Enabling Large-Scale Mining Software Repositories (MSR) Studies Using Web-Scale Platforms
The Mining Software Repositories (MSR) field analyzes software data to uncover knowledge and assist software developments. Software projects and products continue to grow in size and complexity. In-depth analysis of these large systems and their evolution is needed to better understand the …
-
Automatic techniques for proving correctness of heap-manipulating programs
Reliability is critical for system software, such as OS kernels, mobile browsers, embedded systems and cloud systems. The correctness of these programs, especially for security, is highly desirable, as they should provide a trustworthy platform for higher-level applications and the end-users. …
-
Regeneration potential of selected medicinal plants used to treat human and livestock diseases in Limpopo Province of South Africa
… of leaves. The data obtained were subjected to analysis of variance and least significant difference (LSD) at 5% probability level was used to compare treatment using STATISTICA software analysis package. The hormone, hormone concentration, growth media and their interactions had effect on …
-
Genetic variation and parentage in the Ethiopian wolf Canis simensis
… within and between packs using genetic parentage analysis, comparing the obtained results with existing data from field observations and (iii) investigate the effects of recent rabies outbreaks on the genetics of the population. In total, 43 individuals were successfully characterised based on …
-
Signal processing techniques for on-line partial discharge monitoring of high voltage electrical machines.
… work describes a completely new approach to the analysis of partial discharge data. A high speed analogue and digital electronic system was specified, designed and developed, which is capable of directly digitising the partial discharges with an extremely short duration. Modular software routines …
-
Digitale disruptive Business-Innovationen: Rolle und Anwendungspotentiale der Blockchain-Technologie im digitalen Zeitalter. Vorteile und Herausforderungen für KMUs am Beispiel einer Fallstudie im Bereich Dokumentenmanagement
… problem-centred interviews, blockchain software analysis, and customer emails. The theoretical advantages and disadvantages discussed were tested in practice, and new challenges were identified and addressed. The end-user was the focus of this study. Moreover, a decision tree was …
Page 1 of 2