Hardware and Software, Verification and Testing - Ur, Shmuel; Bin, Eyal; Kanade, Takeo; Wolfsthal, Yaron (Springer Berlin / Heidelberg, 2006)
Keywords: Information Technology -- Software Engineering