Detecting and escaping infinite loops with jolt

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

Bibliographic Details
Main Authors: Carbin, Michael James, Misailovic, Sasa, Kling, Michael W., Rinard, Martin C.
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Springer Berlin / Heidelberg 2012
Online Access:http://hdl.handle.net/1721.1/73898
https://orcid.org/0000-0003-0313-9270
https://orcid.org/0000-0001-8095-8523
Description
Summary:25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings