TY - BOOK AU - Jacky, Jonathan AU - Campbell, Colin AU - Schulte, Wolfram AU - Veanes, Margus TI - Model-based software testing and analysis with C# SN - 9780521687614 (pbk.) U1 - 005.133 PY - 2008/// CY - New York PB - Cambridge University Press KW - C PROGRAMMING KW - Computer software KW - Model programs KW - Prototype testing KW - SOFTWARE DEVELOPMENT KW - SOFTWARE TESTING ER -