Stephan Lukasczyk


Stephan is a PhD student advised by Prof. Dr. Gordon Fraser. He works as a research assistant at the Chair of Software Engineering II at the University of Passau since April 2018. Stephan holds a B.Sc. and M.Sc. degree in Computer Science from the University of Passau since 2016 and 2018, respectively.

His research focuses on automated test generation for dynamically-typed programming languages, and on static and dynamic analysis techniques for such languages. Furthermore, he is interested in type systems; in particular type systems and type inference strategies for dynamically-typed languages.


  • 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). IEEE Computer Society. 2021. To appear.
  • 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 pre print. The version availabe for download here is a pre-print version. The paper received a Best Paper Award at the Symposium.
  • Stephan Lukasczyk. “Generating Tests to Analyse Dynamically-Typed Programs”. 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. The version available for download here is a pre-print version.
  • 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.


My main research project is a tool called Pynguin, a framework to automatically generate unit tests for Python programs, which we formally introduced in our 2020 SSBSE paper Automated Unit Test Generation for Python.


In my blog, I write about more personal things. It is, somehow, a bit like a notebook to me, where I put experiences, things that I have learned, and so on. Some of the things are there as a reference for my future self—things that I was searching for and which I wanted to store for future reference. Feel free to make use of the stuff.

The following list shows the five most recent posts, a full list can be found in the blog category.

  1. Online Teaching in Covid-19 Times
  2. Resetting Applications to Previous Versions on macOS
  3. Accepted Paper “An Empirical Study of Flaky Tests in Python”
  4. Accepted Paper “Automated Unit Test Generation for Python”
  5. A Note on Email