Symbolic execution 2 Exploring Execution Trace Analysis Oct 3, 2019 Tackling Associative Arrays in Symbolic Execution Jan 29, 2019