A Brief Essay on Software Testing
the category - partition method for specifying and generating functional tests .