Akanksha, agarwal (2011) Trace Abstraction Based on Automatic Detection of Execution Phases. Masters thesis, Concordia University.