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

Internet