Our demo paper “Enabling Natural Testing of Smart Homes” was accepted at ESEC/FSE 2023.