Interface-Bound Test Design