Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen
Looper: Lightweight Detection of Infinite Loops at Runtime
ASE, 2009.
@inproceedings{ASE-2009-BurnimJSS,
author = "Jacob Burnim and Nicholas Jalbert and Christos Stergiou and Koushik Sen",
booktitle = "{Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2009.87",
isbn = "978-0-7695-3891-4",
pages = "161--169",
publisher = "{IEEE Computer Society}",
title = "{Looper: Lightweight Detection of Infinite Loops at Runtime}",
year = 2009,
}











