TISSEA: A Framework for Testing IoT Systems Based on Technical Software Engineering Aspects | IEEE Journals & Magazine | IEEE Xplore