Inproceedings,
AutoTap: synthesizing and repairing trigger-action programs using LTL properties.
L. Zhang, W. He, J. Martinez, N. Brackenbury, S. Lu, and B. Ur.ICSE, page 281-291. IEEE / ACM, (2019)
Meta data
- BibTeX key
- conf/icse/ZhangHMBLU19
- entry type
- inproceedings
- booktitle
- ICSE
- year
- 2019
- pages
- 281-291
- publisher
- IEEE / ACM
- crossref
- conf/icse/2019
- ee
- https://dl.acm.org/citation.cfm?id=3339543
- isbn
- 978-1-7281-0869-8
- url
- http://dblp.uni-trier.de/db/conf/icse/icse2019.html#ZhangHMBLU19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}