Model Generation For Java Frameworks

Luo, Linghui; Piskachev, Goran; Krishnamurthy, Ranjith; Dolby, Julian; Bodden, Eric; Schäf, Martin

doi:10.1109/ICST57152.2023.00024

Model Generation For Java Frameworks (bibtex)

@inproceedings{lpk23model,
  author={Luo, Linghui and Piskachev, Goran and Krishnamurthy, Ranjith and Dolby, Julian and Bodden, Eric and Schäf, Martin},
  booktitle={2023 IEEE Conference on Software Testing, Verification and Validation (ICST)}, 
  title={Model Generation For Java Frameworks}, 
  year={2023},
  volume={},
  number={},
  pages={165-175},
  keywords={Software testing;Java;Analytical models;Codes;Costs;Operating systems;Static analysis;static analysis;call graph;framework modeling},
  doi={10.1109/ICST57152.2023.00024},
  url = {https://www.bodden.de/pubs/lpk23model.pdf}
}