publications | Lukas Krodinger

2025

Constraint-Guided Unit Test Generation for Machine Learning Libraries

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

CoRR, 2025

@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},
}

2024

Advancing Code Readability: Mined & Modified Code for Dataset Generation

Lukas Krodinger

2024

Bib PDF

@mastersthesis{krodinger2024thesis,
  title = {Advancing Code Readability: Mined \& Modified Code for Dataset Generation},
  author = {Krodinger, Lukas},
  year = {2024},
  school = {University of Passau},
  url = {https://webdesign-krodinger.de/wp-content/uploads/2024/03/Advancing-Code-Readability-Mined-Modified-Code-for-Dataset-Generation.pdf},
  type = {Master's Thesis}
}