diff --git a/Src/PChecker/CheckerCore/Coverage/ActorRuntimeLogEventCoverage.cs b/Src/PChecker/CheckerCore/Coverage/ActorRuntimeLogEventCoverage.cs
index c6eeed032..0e2b4d4c7 100644
--- a/Src/PChecker/CheckerCore/Coverage/ActorRuntimeLogEventCoverage.cs
+++ b/Src/PChecker/CheckerCore/Coverage/ActorRuntimeLogEventCoverage.cs
@@ -190,7 +190,7 @@ public void OnMonitorExecuteAction(string monitorType, string stateName, string
         public void OnMonitorProcessEvent(string monitorType, string stateName, string senderName,
             string senderType, string senderStateName, Event e)
         {
-            EventCoverage.AddEventReceived(GetStateId(monitorType, stateName), e.GetType().Name);
+            EventCoverage.AddEventReceived(GetStateId(monitorType, stateName), e.GetType().FullName);
         }
 
         public void OnMonitorRaiseEvent(string monitorType, string stateName, Event e)