In this talk, we identify some well-known software verification problems,
using real-world examples from open-source projects and see how we might
apply some deep learning principles to address them. In the various points
where we may test the Java runtime, we find candidates for deep learning. What
is required? We need a problem to solve, a model that describes it, and a
large amount of data to feed the neural network.