StriSynth: Synthesis for Live Programming. - Gulwani, Sumit; Mayer, Mikaël; Niksic, Filip; Piskac, Ruzica (ICSE: International Conference on Software Engineering, 2015)