TY - BOOK AU - POSTON, ROBERT M. TI - AUTOMATING SPECIFICATION BASED SOFTWARE TESTING SN - 9780818675317 PY - 1996/// PB - IEEE COMPUTER SOCIETY INC., WASHINGTON KW - Computer Science & Eng ER -