Yu-Yang Lin, Nikos Tzevelekos: Symbolic Execution Game Semantics. FSCD 2020: 27:1-27:24