publications

2026

1. Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation

   Lucas Berg, Lukas Krodinger, Stephan Lukasczyk, and 4 more authors

   In Proc. ICST, 2026

   DOI Bib HTML PDF

   @inproceedings{BK26,
     author = {Berg, Lucas and Krodinger, Lukas and Lukasczyk, Stephan and Panichella, Annibale and Fraser, Gordon and Vanhoof, Wim and Devroey, Xavier},
     title = {Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation},
     booktitle = {Proc.\ ICST},
     year = {2026},
     url = {https://arxiv.org/abs/2603.06107},
     doi = {https://doi.org/10.48550/arXiv.2603.06107}
   }

2025

1. Constraint-Guided Unit Test Generation for Machine Learning Libraries

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

   Proc. SSBSE, 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 = {Proc.\ SSBSE},
     year = {2025},
     url = {https://doi.org/10.48550/arXiv.2510.09108},
     doi = {10.48550/ARXIV.2510.09108},
   }

2. Combining Type Inference and Automated Unit Test Generation for Python

   Lukas Krodinger, Stephan Lukasczyk, and Gordon Fraser

   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},
     year = {2025},
     url = {https://doi.org/10.48550/arXiv.2507.01477},
     doi = {10.48550/ARXIV.2507.01477},
   }

2024

1. 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}
   }