Jeffrey M Voas

• A testability-based assertion placement tool for object-oriented software