Dependencies Soot Heros Functional Java Grappa JUnit Mockito Hamcrest Acknowledgments This work is supported by the German Ministry of Research and Education (BMBF) within EC SPRIDE and an Oracle Collaborative Research Award.