OBJECT ORIENTED PROGRAM TEST CASE GENERATION USING HIERARCHICAL COLOURED PETRINETS . مجلة المنصور. 2023;4(1):A1-21. Accessed October 1, 2025. https://www.journal.muc.edu.iq/journal/article/view/507