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.
- 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). Springer. 2020. to appear. arXiv pre print. The version availabe for download here is a pre-print version.
- 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.