Siriluck LorpunmaneeSuwatchai KamonsantirojLuepol Pipanmaekaporn2025-03-102025-03-102019ACM International Conference Proceeding Series978-145036245-010.1145/3318236.33182562-s2.0-85066879186https://repository.dusit.ac.th//handle/123456789/4894Test case generation is the most important part of software testing. Currently, researchers have used the UML activity diagram for test case generation. Testing concurrent system is difficult task due to the concurrent interaction among the threads and the system results in test case explosion. In this paper, we proposed a novel approach to generate test cases for concurrent systems using a dynamic programming technique with tester specification to avoid the path explosion. The tester can configure the concurrency specifications that follow the business flow constraints. In order to evaluate the quality of test cases, activity coverage and causal ordering coverage were measured. By experimental results, the proposed approach is superior as compared to DFS and BFS algorithms. Finally, the proposed approach helps to avoid generating all possible concurrent activity paths which are able to minimize test cases explosion. � 2019 Association for Computing Machinery.Concurrency in UMLDynamic ProgrammingSoftware TestingTest Cases GenerationUML Activity DiagramConference paperScopus