Debugging The Smart Home Workshop