If you have any concurrency in your system then you aren't going to cover all the states using unit tests. You'll need some sort of formal model for that.