Browsing Computer Science by Subject "Dynamic Analysis"
Now showing items 1-2 of 2
-
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 ...