TY - BOOK AU - Poston,Robert M. TI - Automating specification-based software testing SN - 0818675314 AV - QA 76.76 .P67 1996 U1 - 005.1/4 20 PY - 1996/// CY - Los Alamitos PB - IEEE Computer Society Press KW - Computer software KW - Testing KW - Fundamentals N1 - Includes bibliographical references ER -