Analysis of Bugs

Analysis
Resolution of timer is too rough
Incorrect state transition
Insufficient message validation
Source of Bugs
Object Management is
complex resource dependency
mutual exclusion / locking
timer management
scattered and inconsistent processing
scattered processing leads inconsistency