TY - SER AU - Abraham, Jacob A AU - Gajski, Daniel D TI - Design of Testable Structures Defined by Simple Loops KW - Design Augmentation KW - Self-Checking Systems KW - Testing ER -