ROBERT M POSTON AUTOMATING SPECIFICATION BASED SOFTWARE TESTING - IEEE COMPUTER SOCIETY PRESS 1996 - 262 ISBN: 0818675314 Subjects--Topical Terms: COMPUTER SCIENCE SOFTWARE TESTING Dewey Class. No.: 005.14 POS N6 / ROB