Existing sequential-pattern-mining algorithms ignore repetitions of items (method calls) in a trace (sequence) and are agnostic to the rich semantics of property specification languages in SE. To address this problem, we have developed an algorithm that captures repetitive occurrences of the patterns within each trace and across multiple traces.