Contributions to automated trace analysis

Abstract
No abstract available