Added: coverage statistics functions