Essential software testing a use-case approach - Fournier, Greg (CRC press, 2009)