Detecting and Escaping Infinite Loops with Jolt.

Michael Carbin Sasa Misailovic Michael Kling Martin C. Rinard

Published in: ECOOP (2011)

Keyphrases

data sets
database
neural network
information technology
automatic detection
real numbers
machine learning
multimedia
clustering algorithm
face recognition
similarity measure
support vector
relational databases
automatically detecting