Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks.

John Lasseter, John Cipriano

Browse the full FASE paper archive.