Slimme applicaties worden vaak op een event gedreven manier geschreven, omdat de modulariteit van deze aanpak goed aansluit bij de gedistribueerde werking van smart applicaties. Naarmate deze applicaties groter worden, wordt het debuggen ervan moeilijker. Dit door de beperkt beschikbare tools voor het debuggen van event gedreven applicaties. Een van de hoofdredenen hiervoor is het ontbreken van een gestandaardiseerd model voor het debuggen van event gedreven smart applicaties. Door het gebrek aan een model bevatten moderne runtimes dan ook vaak geen specifieke tools voor het debuggen van event gedreven smart applicaties. Bijkomend hebben event gedreven programma's veel mogelijke uitvoeringen. Verder zijn de events ook vaak tijdgevoelig en bestaan slimme applicaties vaak uit meerder apparaten. Om het debuggen van deze apparaten te vereenvoudigen, stellen we drie onderzoeksdoelen op. Het eerste doel is om een model te ontwikkelen voor het debuggen van event gedreven applicaties. Het tweede doel bestaat uit het ontwikkelen van nieuwe debugging abstracties voor het debuggen van event gedreven applicaties. Het derde doel bestaat er in om technieken te onderzoeken die de omvang van de toestandsruimte die de debugger kan verkennen te reduceren. Deze drie doelen samen resulteren in een debugger die het mogelijk maakt om de volledige toestandsruimte van een event gedreven applicatie te verkennen, wat het makkelijker maakt om fouten te vinden en te reproduceren.