Linked Presentation: HOMESPY: The Invisible Sniffer of Infrared Remote Control of Smart TVsSherlock on Specs: Building LTE Conformance Tests through Automated Reasoning
