Hardware and Software: Verification and Testing - Namjoshi, Kedar; Kanade, Takeo; Zeller, Andreas; Ziv, Avi (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Software Engineering