An accurate workflow is one of the key elements for many successful businesses. However, testing for business processes in currently available workflow management systems are often carried out manually. Such testing usually requires a large number of test cases to be generated. Therefore, an efficient way for automatically generating test cases will be highly beneficial to the business process engineers. In this thesis, we propose an approach for workflow testing based on the Choice Relation Framework (CRF). To achieve a required level of trace coverage, the proposed method incrementally generates test cases for a given business process based on a threshold. Experiment results show that the proposed method only requires significantly low number of test cases to achieve a sufficient level of coverage.