Software Testing, 2/E by Patton