A Unifying Approach To Behavioral Coverage