Publications

You can also find my articles on my Google Scholar profile.

Journal Articles


Conference and Workshop Papers


Model Generation For Java Frameworks Permalink

Published in International Conference on Software Testing, Verification and Validation (ICST), 2023

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

Theses, Technical Reports and Other