Model Generation For Java Frameworks - Luo, Linghui; Piskachev, Goran; Krishnamurthy, Ranjith; Dolby, Julian; Schäf, Martin; Bodden, Eric (IEEE International Conference on Software Testing, Verification and Validation (ICST))