About the Concolic Execution and Symbolic ASM Function Promotion in CASM. - Philipp Paulweber; Jakob Moosbrugger; Uwe Zdun (ABZ, 2021)