Quality anomaly detection and trace checking tools - Final version

Summary
This deliverable will give implementation and documentation for the techniques developed in T4.2.