Model Generation For Java Frameworks

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.
Direct Link