@inproceedings{Seghir11,
  title = "A Lightweight Approach for Loop Summarization",
  author = "Mohamed Nassim Seghir",
  year = "2011",
  booktitle = "ATVA",
  pages = "351-365",
}