Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis

Mara Downing, Abtin Molavi, Lucas Bang

We present a method of automatically synthesizing steps to solve search problems. Given a specification of a search problem, our approach uses symbolic execution to analyze the spe…