Pattern-Based Trace Correlation Techniques for Software Evolution