Thomas Ströder: Symbolic execution and program synthesis: a general methodology for software verification. RWTH Aachen University, Germany 2019