"OBJECT ORIENTED PROGRAM TEST CASE GENERATION USING HIERARCHICAL COLOURED PETRINETS ". مجلة المنصور, م 4, عدد 1, أبريل، 2023, ص A1-21, https://www.journal.muc.edu.iq/journal/article/view/507.