Model Generation For Java Frameworks.

Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schf

Browse the full ICST paper archive.