SMS: A testability-based assertion placement tool for object-oriented software Jeffrey Voas, Matthew Schmid, Michael Schatz ; edited by Dolores Wallace ; prepared for U.S. Department of Commerce, National Institute of Standards and Technology. [microform] /