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.
- 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.
In case you are a student looking for a bachelor or master thesis: please have a look on the page about teaching.