WAJDI HOMAID JEDAIBI2022-06-012022-06-012786https://drepo.sdl.edu.sa/handle/20.500.14154/59673en-USAN EXTENDED CSPE- BASED METHOD FOR SPECIFICATION - BASED TESTING OF CONCURRENT PROGRAMS.Thesis