A black-box test technique in which test cases are designed from cause-effect graphs.