Software Testing - Jorgensen (Paul.c) Boca Ratan (CRC Press London)