From definitional interpreter to symbolic executor. - Adrian D. Mensing; Hendrik van Antwerpen; Casper Bach Poulsen; Eelco Visser (META@SPLASH, 2019)