Published in International Conference on Software Testing, Verification and Validation (ICST), 2023
Recommended citation: Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, and Martin Schäf. "Model Generation For Java Frameworks." International Conference on Software Testing, Verification and Validation (ICST), 2023.