Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf. Model Generation For Java Frameworks. In IEEE Conference on Software Testing, Verification and Validation, ICST 2023, Dublin, Ireland, April 16-20, 2023. pages 165-175, IEEE, 2023. [doi]
@inproceedings{LuoPKDBS23,
title = {Model Generation For Java Frameworks},
author = {Linghui Luo and Goran Piskachev and Ranjith Krishnamurthy and Julian Dolby and Eric Bodden and Martin Schäf},
year = {2023},
doi = {10.1109/ICST57152.2023.00024},
url = {https://doi.org/10.1109/ICST57152.2023.00024},
researchr = {https://researchr.org/publication/LuoPKDBS23},
cites = {0},
citedby = {0},
pages = {165-175},
booktitle = {IEEE Conference on Software Testing, Verification and Validation, ICST 2023, Dublin, Ireland, April 16-20, 2023},
publisher = {IEEE},
isbn = {978-1-6654-5666-1},
}