Lukas Krodinger

I am a Research Assistant and PhD student at the Chair of Software Engineering II at the University of Passau, Germany. I hold a Master’s degree in Computer Science from the University of Passau, Germany.

My research focuses on automated test generation for Python. I actively maintain the Pynguin framework and investigate novel generation techniques, including the application of Large Language Models (LLMs). Additionally, I contribute to the Types4Strings project, working on improved error detection for string subtypes.

As a side job, I work as a self-employed Web Developer, designing and building customized websites and full-stack applications.

Selected Publications

Constraint-Guided Unit Test Generation for Machine Learning Libraries

Lukas Krodinger, Altin Hajdari, Stephan Lukasczyk, and 1 more author

CoRR, 2025

DOI Bib HTML PDF

@article{DBLP:journals/corr/abs-2510-09108,
  author = {Krodinger, Lukas and Hajdari, Altin and Lukasczyk, Stephan and Fraser, Gordon},
  title = {Constraint-Guided Unit Test Generation for Machine Learning Libraries},
  journal = {CoRR},
  volume = {abs/2510.09108},
  year = {2025},
  url = {https://doi.org/10.48550/arXiv.2510.09108},
  doi = {10.48550/ARXIV.2510.09108},
  eprinttype = {arXiv},
  timestamp = {Sat, 15 Nov 2025 13:50:14 +0100},
  biburl = {https://dblp.org/rec/journals/corr/abs-2510-09108.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}

Combining Type Inference and Automated Unit Test Generation for Python

Lukas Krodinger, Stephan Lukasczyk, and Gordon Fraser

CoRR, 2025

DOI Bib HTML PDF

@article{DBLP:journals/corr/abs-2507-01477,
  author = {Krodinger, Lukas and Lukasczyk, Stephan and Fraser, Gordon},
  title = {Combining Type Inference and Automated Unit Test Generation for Python},
  journal = {CoRR},
  volume = {abs/2507.01477},
  year = {2025},
  url = {https://doi.org/10.48550/arXiv.2507.01477},
  doi = {10.48550/ARXIV.2507.01477},
  eprinttype = {arXiv},
  timestamp = {Sat, 06 Sep 2025 20:24:09 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-2507-01477.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}