<P>This updated and reorganized fourth edition of <B>Software Testing: A Craftsman's Approach </B>applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing. </P><P>The <B>Fourth Edition:</P><UL></B><P><LI>Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection</LI><LI>Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the "Swim Lane" concept from the Unified Modeling Language (UML) that permits model-based testing for four levels of interaction among constituents in a System of Systems</LI><LI>Introduces model-based development and provides an explanation of how to conduct testing within model-based development environments </LI><LI>Presents a new section on methods for testing software in an Agile programming environment </LI><LI>Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing</LI><P></P></UL><P>Thoroughly revised and updated, <STRONG>Software Testing: A Craftsman’s Approach, Fourth Edition</STRONG> is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it will continue to serve as a valuable reference for software testers, developers, and engineers.</P>