Hardware and Software: Verification and Testing - Hutchison, David; Kanade, Takeo; Kittler, Josef; Nahir, Amir; Vos, Tanja (Springer Berlin Heidelberg, 2013)
Keywords: Information Technology -- Software Engineering