Browsing Theses by Subject "Dynamic Analysis"
Now showing items 1-4 of 4
-
Detection and Diagnosis of Memory Leaks in Web Applications
(University of Waterloo, 2015-06-15)Memory leaks -- the existence of unused memory on the heap of applications -- result in low performance and may, in the worst case, cause applications to crash. The migration of application logic to the client side of ... -
RUMBA: Runtime Monitoring and Behavioral Analysis Framework for Java Software Systems
(University of Waterloo, 2007-05-18)A goal of runtime monitoring is to observe software execution to determine whether it complies with its intended behavior. Monitoring allows one to analyze and recover from detected faults, providing prevention activities ... -
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates
(University of Waterloo, 2009-04-27)Object-oriented application frameworks allow the reuse of both software design and code and are one of the most effective reuse technologies available today. Frameworks provide domain-specific concepts, which are generic ... -
Verifying Mutable Systems
(University of Waterloo, 2017-10-23)Model checking has had much success in the verification of single-process and multi-process programs. However, model checkers assume an immutable topology which limits the verification in several areas. Consider the security ...