Speaker: Andreas Fuchs

Abstract: Java is still one of the most popular programming languages and widely used to develop enterprise, mobile, and web applications. This talk presents an automated approach to generate unit tests for Java programs. The approach is based on symbolic execution, a popular program analysis technique that is able to explore all execution paths through a program.

Short-Bio: Andreas Fuchs is a research assistant at the Group of Prof. Kuchen at the ERCIS. He studied in the IS Bachelor and Master program in Münster. His research is focused on program analysis and automated test-case generation.