Dependency modeling and testing