%0 Conference Paper %1 conf/icse/ZhangHMBLU19 %A Zhang, Lefan %A He, Weijia %A Martinez, Jesse J. %A Brackenbury, Noah %A Lu, Shan %A Ur, Blase %B ICSE %D 2019 %E Atlee, Joanne M. %E Bultan, Tevfik %E Whittle, Jon %I IEEE / ACM %K dblp %P 281-291 %T AutoTap: synthesizing and repairing trigger-action programs using LTL properties. %U http://dblp.uni-trier.de/db/conf/icse/icse2019.html#ZhangHMBLU19 %@ 978-1-7281-0869-8

@inproceedings{conf/icse/ZhangHMBLU19, added-at = {2024-05-07T00:00:00.000+0200}, author = {Zhang, Lefan and He, Weijia and Martinez, Jesse J. and Brackenbury, Noah and Lu, Shan and Ur, Blase}, biburl = {https://www.bibsonomy.org/bibtex/246a1223e2ff5c813852edef09a838231/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2019}, editor = {Atlee, Joanne M. and Bultan, Tevfik and Whittle, Jon}, ee = {https://dl.acm.org/citation.cfm?id=3339543}, interhash = {905b8ec56f0b57d76c5f966bee51e3ae}, intrahash = {46a1223e2ff5c813852edef09a838231}, isbn = {978-1-7281-0869-8}, keywords = {dblp}, pages = {281-291}, publisher = {IEEE / ACM}, timestamp = {2024-05-13T08:26:12.000+0200}, title = {AutoTap: synthesizing and repairing trigger-action programs using LTL properties.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2019.html#ZhangHMBLU19}, year = 2019 }