capturing those results at such a high level of abstraction as to cause the loss of
important lower-level results.
Tools and techniques for building security test cases for software are
becoming increasingly advanced. Unified Modeling Language (UML)-based