TestPrepPro
Ch 2K1EasyFL-2.3.1

White-box testing derives test cases from which of the following?