Speeding up the Synthesis of Programs from Traces | IEEE Journals & Magazine | IEEE Xplore