2023. OBJECT ORIENTED PROGRAM TEST CASE GENERATION USING HIERARCHICAL COLOURED PETRINETS . مجلة المنصور. 4, 1 (أبريل 2023), A1–21.