Login / Signup

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

Lefan ZhangWeijia HeJesse MartinezNoah BrackenburyShan LuBlase Ur
Published in: ICSE (2019)
Keyphrases
  • structural properties
  • information systems
  • temporal logic
  • database
  • data model
  • logic programs
  • logic programming
  • desirable properties
  • computer programs
  • automatic programming
  • transition systems