It allows users to specify properties they want in their smart home through an easy click-only interface. The software AutoTap is for novice end-users to create and modify trigger-action programs (TAP) for smart devices at home. No specific knowledge from the reviewers is assumed as our application aims at novice users.

To provide trigger-action programs/properties written by real-world users as potential benchmarks for researchers in the same domain.

To publish an intuitive running example of the tool mentioned in our paper.

The purpose of distributing this artifact is two-fold: It encompasses both the software we developed and the data from our user studies. This is the artifact for “Synthesizing and Repairing Trigger-Action Programs Using LTL Properties” (#399). Our artifact is available on GitHub zlfben/autotap. If this is the case, don't panic! Contact us, tell us your car model/year and we'll confirm and recommend what scan tool interface you need to scan your vehicle.AutoTap: A user-friendly synthesizing/debugging tool for trigger-action programs in smart home How to get the artifact If you get first 3 green, and last 2 red - this means your car is not OBD2 compliant. If everything is working fine - you will get all 5 green lines in the EasyOBD ELM327 software.

(Don't worry, it's impossible to 'damage' anything in the car's chip. It will automatically detect your ELM327 reader and the car's ECU unit. (This is one position before car engine turns on) Any of these scanners/readers will work: ELM327 ElmElectronics, ELM327 China Clone, ElmScan 5, OBDLink, Autotap AT1, AT2, AT3, AT123 (v2.x), VIA LDV100, LDV200, LDV300, LDV123, Multiplex Engineering T16, ELM320, ELM322, ELM323 (v2.x), ELM327 (all versions), Any SAE-J2534 compliant OBD-II interface., OBDPro, All-In-One, OBDKey

Autotap software torrent