TY - BOOK AU - Jacky,Jonathan TI - Model-based software testing and analysis with C�A SN - 9780521687614 (pbk.) AV - QA76.76.T48 JON PY - 2008/// CY - New York PB - Cambridge University Press KW - Computer software KW - Testing KW - Quality control KW - C�A (Computer program language) N1 - Includes Index; Includes bibliographical references; Includes bibliographical references. ER -