POSTON, ROBERT M. AUTOMATING SPECIFICATION BASED SOFTWARE TESTING - IEEE COMPUTER SOCIETY INC., WASHINGTON 1996 - 268 ISBN: 9780818675317 Subjects--Topical Terms: Computer Science & Eng. Dewey Class. No.: / POS