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.

Publications

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

  • 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

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.

Awards

Service

  • 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

Prospective Students

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