Research

I am a research assistant and PhD student with the Chair of Software Engineering II at the University of Passau, Germany. My research focuses on automated test generation for dynamically-typed programming languages, and on static and dynamic analysis techniques for such languages. Furthermore, I am interested in type systems; in particular type systems and type inference strategies for dynamically-typed languages.

Journal Articles

• Stephan Lukasczyk, Florian Kroiß, and Gordon Fraser. “An empirical study of automated unit test generation for Python”. Empirical Software Engineering 28, 36 (2023). DOI: 10.1007/s10664-022-10248-w, arXiv preprint.

Conference Proceedings

• Nicolas Erni, Al-Ameen Mohammed Ali Mohammed, Christian Birchler, Pouria Derakhshanfar, Stephan Lukasczyk, and Sebastiano Panichella. “SBFT Tool Competition 2024—Python Test Case Generation Track”. Proceedings of the 17th International Workshop on Search-Based and Fuzz Testing (SBFT@ICSE 2024, Lisbon, Portugal, April 14–20). ACM. 2024. DOI: 10.1145/3643659.3643930, arXiv preprint.
• Stephan Lukasczyk and Gordon Fraser. “Pynguin: Automated Unit Test Generation for Python”. Proceedings of the 44th Interational Conference on Software Engineering Companion (ICSE 2022 Companion, Pittsburgh, PA, USA, May 21–29). pp. 168–172. ACM. 2022. DOI: 10.1145/3510343.3516829, arXiv preprint.
• Martin Gruber, Stephan Lukasczyk, Florian Kroiß, and Gordon Fraser. “An Empirical Study of Flaky Tests in Python”. Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik (SE 2022, February 21–25). Lecture Notes in Informatics, vol. P-320. pp. 37—38. Gesellschaft für Informatik e.V. 2022. DOI: 10.18420/se2022-ws-009.
• Felix Adler, Gordon Fraser, Eva Gründinger, Nina Körber, Simon Labrenz, Jonas Lerchenberger, Stephan Lukasczyk, and Sebastian Schweikl. “Improving Readability of Scratch Programs with Search-based Refactoring”. Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2021, virtual, September 27–28). pp. 120–130. IEEE Computer Society. 2021. DOI: 10.1109/SCAM52516.2021.00023, arXiv preprint.
• Martin Gruber, Stephan Lukasczyk, Florian Kroiß, and Gordon Fraser. “An Empirical Study of Flaky Tests in Python”. Proceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST 2021, virtual, April 12–16). pp. 148–158. IEEE Computer Society. 2021. DOI: 10.1109/ICT49551.2021.00026, arXiv preprint.
• Stephan Lukasczyk, Florian Kroiß, and Gordon Fraser. “Automated Unit Test Generation for Python”. Proceedings of the 12th Symposium on Search-Based Software Engineering (SSBSE 2020, Bari, Italy, October 7–8). Lecture Notes in Computer Science, vol. 12420. pp. 9–24. Springer. 2020. DOI: 10.1007/978-3-030-59762-7_2, arXiv preprint. The paper received a Best Paper Award at the Symposium
• Stephan Lukasczyk. “Generating Tests to Analyse Dynamically-Typed Programms”. Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019, San Diego, CA, USA, November 11–15). pp. 1226–1229. IEEE Computer Society. 2019. DOI: 10.1109/ASE.2019.00146

Publicly Speaking

• Invited talk “Automated Unit Test Generation for the Python Programming Language” at the Università degli Studi di Udine (2024–05–30) hosted by Prof. Vincenzo Riccio.
• Invited talk “Augmenting Python Test Generation with Types from Execution Traces” with the group of Prof. Michael Pradel, University of Stuttgart (2023–08–02).
• Extended ICSE 2022 tool demo video recording on “Pynguin: Automated Unit Test Generation for Python”.
• ICSE 2022 tool demo video recording on “Pynguin: Automated Unit Test Generation for Python”.
• Podcast episode for Podcast.__init__ on Pynguin.
• SSBSE 2020 conference talk video recording on “Automated Unit Test Generation for Python”.

Theses

• Stephan Lukasczyk. “A Provident Abstraction Refinement Framework for Multi-Path Refinements”. Master Thesis. University of Passau, 2018.
• Stephan Lukasczyk. “Unbounded Heap Support for CPAchecker’s Predicate Analysis Using SMT Arrays”. Bachelor Thesis. University of Passau, 2016.

• Outstanding Serivce as a Student Volunteer at the IEEE/ACM International Conference on Automated Software Engineering 2021
• Best Paper Award at the 12th Symposium on Search-Based Software Engineering 2020

• Member of the Challenge Track PC of SSBSE 2024
• Reviewer for IEEE Computer 2024
• Reviewer for the Empirical Software Engineering Journal (EMSE) 2024
• Member of the Challenge Track PC of SSBSE 2023
• Member of the Artifact Evaluation Committee of ISSTA 2023
• Co-organizer of the GI-Dagstuhl Seminar 23103 on “Testing and Debugging of Data Analysis Workflows”
• Member of the Challenge Track PC of SSBSE 2022
• Member of the Artifact Evaluation Committee of Fuzzing Workshop 2022
• Student Volunteer at ASE 2021; awarded with a Certificate of Appreciation from the conference organizers for “Outstanding Service as a Student Volunteer”
• Member of the Artifact Evaluation Committee of ISSTA 2021
• Student Volunteer at ICSE 2021
• Invited to New Ideas and Emerging Results Program Committee of ASE 2020 (declined due to family situation)
• Member of the Artifact Evaluation Committee of ASE 2020, however the track was cancelled due to COVID-19 pandemics.
• Student Volunteer at ASE 2019 in San Diego, CA, USA.
• since 2021: Member of the board of the German-speaking TeX User Group (DANTE e.V.)
• 2018–2020: Internal auditor for the German-speaking TeX User Group
• Local Organizer of the 2018 German-speaking TeX User Group’s meeting in Passau

In case you are a student looking for a bachelor or master thesis: please have a look at the page about teaching.