SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis.

Nayeon Bak Byeong-Mo Chang Kwanghoon Choi

Published in: IET Softw. (2020)

Keyphrases

static analysis
dynamic analysis
source code
test generation
management system
regular expressions
malicious code
symbolic execution
abstract interpretation
databases
open source
visual representation
real world
user interface
query language
software development