Formal Methods and Testing - Hierons, Robert M.; Bowen, Jonathan P.; Bowen, Jonathan Peter; Harman, Mark; Kanade, Takeo (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Software Engineering