Lefan Zhang, Weijia He, Jesse Martinez, Noah Brackenbury, Shan Lu, Blase Ur. AutoTap: synthesizing and repairing trigger-action programs using LTL properties. In Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan, editors, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. pages 281-291, IEEE / ACM, 2019. [doi]
Abstract is missing.