Software testing, verification and reliability - Offutt, Jeff; Hierons, Robert M. (John Wiley & Sons, 2012)