On the feasibility and challenges of synthesizing executable Espresso tests | IEEE Conference Publication | IEEE Xplore