Efficient iterative deepening for bounded exhaustive generation of complex structures. - Affan Rauf; Muhammad Nawaz; Junaid Haroon Siddiqui (ICSE (Companion Volume), 2018)

Chapter Two - Advances in Software Model Checking. - Junaid Haroon Siddiqui; Affan Rauf; Maryam Abdul Ghafoor (Adv. Comput., 2018)

Effective State Encoding for Breadth-First Generation of Complex Structures. - Affan Rauf; Muhammad Nawaz; Junaid Haroon Siddiqui (IEEE Trans. Reliab., 2019)