Execution Trace Abstraction Based on Meta Patterns Usage | IEEE Conference Publication | IEEE Xplore