Notes:

---

This work is an offshoot off of the Kimera project. The Kimera project addresses how to structure secure extensible systems. In this presentation, we will present automated techniques for testing Java verifiers, and will not go into the details of the Kimera architecture.