white-box tests