Testing All the Execution Paths