AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties. - Lefan Zhang; Weijia He; Martinez, Jesse; Brackenbury, Noah; Shan Lu; Ur, Blase (ICSE: International Conference on Software Engineering, 2019)