List of Figures

•   One-dimensional output.
•   Two-dimensional output from added Assertion
•   Assertions increase the cardinality of the output space.
•   The Testability-guided Assertion Placement Process.
•   Assert Wizard for Placement.
•   A.E.W.

• Disclaimer
• SBIR Rights Notice
• Abstract
• Keywords