@inproceedings{lpk23model,
author = {Linghui Luo and Goran Piskachev and Ranjith Krishnamurthy and Julian Dolby and Martin Sch\"af},
title = {Model Generation For Java Frameworks},
booktitle = {IEEE International Conference on Software Testing, Verification and Validation (ICST)},
year = {2023},
note = {To appear.},
url = {https://www.bodden.de/pubs/lpk23model.pdf}
}