Hardware and Software: Verification and Testing - Barner, Sharon; Harris, Ian; Kanade, Takeo; Kroening, Daniel; Raz, Orna (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Software Engineering