An Automated Approach for Writing Alloy Specifications Using Instances. - Sarfraz Khurshid; Muhammad Zubair Malik; Engin Uzuncaova (ISoLA, 2006)

Generating Representation Invariants of Structurally Complex Data. - Muhammad Zubair Malik; Aman Pervaiz; Sarfraz Khurshid (TACAS, 2007)

Deryaft: a tool for generating representation invariants of structurally complex data. - Muhammad Zubair Malik; Aman Pervaiz; Engin Uzuncaova; Sarfraz Khurshid (ICSE, 2008)

A Case for Automated Debugging Using Data Structure Repair. - Muhammad Zubair Malik; Khalid Ghori; Bassem Elkarablieh; Sarfraz Khurshid (ASE, 2009)

Dynamic shape analysis of program heap using graph spectra. - Muhammad Zubair Malik (ICSE, 2011)

Constraint-Based Program Debugging Using Data Structure Repair. - Muhammad Zubair Malik; Junaid Haroon Siddiqui; Sarfraz Khurshid (ICST, 2011)

Specification-Based Program Repair Using SAT. - Divya Gopinath; Muhammad Zubair Malik; Sarfraz Khurshid (TACAS, 2011)

Dynamic Shape Analysis Using Spectral Graph Properties. - Muhammad Zubair Malik; Sarfraz Khurshid (ICST, 2012)

Repair Abstractions for More Efficient Data Structure Repair. - Razieh Nokhbeh Zaeem; Muhammad Zubair Malik; Sarfraz Khurshid (RV, 2013)

A Study of Static Analysis Tools to Detect Vulnerabilities of Branchless Banking Applications in Developing Countries. - Fahad Ibrar; Hamza Saleem; Sam Castle; Muhammad Zubair Malik (ICTD, 2017)

Designing Robot Receptionist for Overcoming Poor Infrastructure, Low Literacy and Low Rate of Female Interaction. - Talha Rehmani; Sabur Butt; Inam-ur-Rehman Baig; Muhammad Zubair Malik; Mohsen Ali (HRI (Companion), 2018)

Search Based Code Generation for Machine Learning Programs. - Muhammad Zubair Malik; Muhammad Nawaz; Nimrah Mustafa; Junaid Haroon Siddiqui (CoRR, 2018)

Towards Standardizing and Improving Classification of Bug-Fix Commits. - Sarim Zafar; Muhammad Zubair Malik; Gursimran Singh Walia (ESEM, 2019)

Multi-label Classification of Commit Messages using Transfer Learning. - Muhammad Usman Sarwar; Sarim Zafar; Mohamed Wiem Mkaouer; Gursimran Singh Walia; Muhammad Zubair Malik (ISSRE Workshops, 2020)

Language and Obfuscation Oblivious Source Code Authorship Attribution. - Sarim Zafar; Muhammad Usman Sarwar; Saeed Salem; Muhammad Zubair Malik (IEEE Access, 2020)

Automatic Issue Classifier: A Transfer Learning Framework for Classifying Issue Reports. - Anas Nadeem; Muhammad Usman Sarwar; Muhammad Zubair Malik (ISSRE Workshops, 2021)

Fair feature subset selection using multiobjective genetic algorithm. - Ayaz Ur Rehman; Anas Nadeem; Muhammad Zubair Malik (GECCO Companion, 2022)

Case for Microservices Orchestration Using Workflow Engines. - Anas Nadeem; Muhammad Zubair Malik (ICSE (NIER), 2022)

Improving Delivery of UML Class Diagrams Concepts in Computer Science Education Through Collaborative Learning. - Rupinder Kaur; Muhammad Zubair Malik; Maninder Singh (FIE, 2023)

MaintainoMATE: A GitHub App for Intelligent Automation of Maintenance Activities. - Anas Nadeem; Muhammad Usman Sarwar; Muhammad Zubair Malik (CoRR, 2023)

QuIM-RAG: Advancing Retrieval-Augmented Generation With Inverted Question Matching for Enhanced QA Performance. - Binita Saha; Utsha Saha; Muhammad Zubair Malik (IEEE Access, 2024)