MAMDOUH M.SERAJ NAJJAR2022-06-012022-06-011859https://drepo.sdl.edu.sa/handle/20.500.14154/58951en-USPRE-TESTING METHODS FOR EFFICIENT DYNAMIC TESTING OF MESSAGE- BASED CONCURRENT PROGRAMS.Thesis