[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties
Zhang, Lefan, He, Weijia, Martinez, Jesse, Brackenbury, Noah, Lu, Shan, Ur, BlaseYear:
2019
Language:
english
DOI:
10.1109/ICSE.2019.00043
File:
PDF, 1.20 MB
english, 2019