Analysis of feature reachability from tests