A white box test case design technique that uses the algorithmic flow of the program to design tests.