Black-box testing techniques for functional testing of software and systems / - Beizer, Boris, (Wiley,)