Detecting and escaping infinite loops with jolt

25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings

Bibliographic Details
Main Authors: Carbin, Michael James (Contributor), Misailovic, Sasa (Contributor), Kling, Michael W. (Contributor), Rinard, Martin C. (Contributor)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Springer Berlin / Heidelberg, 2012-10-11T19:46:02Z.
Subjects:
Online Access:Get fulltext