Lukas Krodinger

According to our database, Lukas Krodinger authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Constraint-Guided Unit Test Generation for Machine Learning Libraries.

Lukas Krodinger, Altin Hajdari, Stephan Lukasczyk, Gordon Fraser

CoRR, October, 2025

Combining Type Inference and Automated Unit Test Generation for Python.

Lukas Krodinger, Stephan Lukasczyk, Gordon Fraser

CoRR, July, 2025

Artifact for the paper "Combining Type Inference and Automated Unit Test Generation for Python".

Lukas Krodinger, Stephan Lukasczyk, Gordon Fraser

Dataset, July, 2025