An automated approach for discovering risk-inducing functional flaws in software designs

The Approach Ability to Discover Flaws .......................................................43 6.2. Limitations of The Approach Applicability ..........................................................................45 6.4 Practical Implications ......................................................................................46