Software Testing Techniques - Beizer (Boris)
20