The 5th Edition of Software Testing: A Craftsman?s Approach is a major update that adds new sections on model-based testing and the feature interaction testing. A major change is the shift to Java code for both the procedural and object-oriented examples.