Code Generation, Analysis Tools, and Testing for Quality (Advances in Computer and Electrical Engineering (ACEE)) [Hardcover]