Support for Security and Safety of Programmable IoT Systems

Publication
In ISSTA Workshop on Testing Embedded and Cyber-Physical Systems (TECPS)