An approach and a prototype tool for generating executable iot system test cases