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, }