They provide a solid theoretical presentation of software testing and test coverage criteria … A concise but brief introduction to software testing." R. S. Stansbury, Choice 'My favorite text book on ...
and Nunez, Manuel 2009. Analysis of the OLSR Protocol by Using Formal Passive Testing. p. 152. Extensively class-tested, this textbook takes an innovative approach to software testing: it defines ...