IoTFuzz: Automated Discovery of Violations in Smart Homes With Real Environment | IEEE Journals & Magazine | IEEE Xplore