AutoTap: synthesizing and repairing trigger-action programs using LTL properties.

Lefan Zhang, Weijia He, Jesse J. Martinez, Noah Brackenbury, Shan Lu, Blase Ur

Browse the full ICSE paper archive.