An approach to software testing: methodology and tools.

Roger R. Bate, George T. Ligler

Browse the full COMPSAC paper archive.