Specification-based program repair using SAT D Gopinath, MZ Malik, S Khurshid International Conference on Tools and Algorithms for the Construction and …, 2011 | 129 | 2011 |
A case for automated debugging using data structure repair MZ Malik, K Ghori, B Elkarablieh, S Khurshid 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009 | 53 | 2009 |
Constraint-based program debugging using data structure repair MZ Malik, JH Siddiqui, S Khurshid 2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011 | 30 | 2011 |
Generating representation invariants of structurally complex data MZ Malik, A Pervaiz, S Khurshid International Conference on Tools and Algorithms for the Construction and …, 2007 | 20 | 2007 |
Towards standardizing and improving classification of bug-fix commits S Zafar, MZ Malik, GS Walia 2019 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2019 | 18 | 2019 |
Repair abstractions for more efficient data structure repair R Nokhbeh Zaeem, MZ Malik, S Khurshid International Conference on Runtime Verification, 235-250, 2013 | 15 | 2013 |
Deryaft M Malik, A Pervaiz, E Uzuncaova, S Khurshid 2008 ACM/IEEE 30th International Conference on Software Engineering, 859-862, 2008 | 14 | 2008 |
Dynamic shape analysis of program heap using graph spectra (nier track) MZ Malik Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 9 | 2011 |
An automated approach for writing Alloy specifications using instances S Khurshid, MZ Malik, E Uzuncaova Second International Symposium on Leveraging Applications of Formal Methods …, 2006 | 8 | 2006 |
A study of static analysis tools to detect vulnerabilities of branchless banking applications in developing countries F Ibrar, H Saleem, S Castle, MZ Malik Proceedings of the Ninth International Conference on Information and …, 2017 | 7 | 2017 |
Language and obfuscation oblivious source code authorship attribution S Zafar, MU Sarwar, S Salem, MZ Malik IEEE Access 8, 197581-197596, 2020 | 6 | 2020 |
Dynamic shape analysis using spectral graph properties MZ Malik, S Khurshid 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 5 | 2012 |
Multi-label Classification of Commit Messages using Transfer Learning MU Sarwar, S Zafar, MW Mkaouer, GS Walia, MZ Malik 2020 IEEE International Symposium on Software Reliability Engineering …, 2020 | 4 | 2020 |
Designing robot receptionist for overcoming poor infrastructure, low literacy and low rate of female interaction T Rehmani, S Butt, IR Baig, MZ Malik, M Ali Companion of the 2018 ACM/IEEE International Conference on Human-Robot …, 2018 | 1 | 2018 |
Search Based Code Generation for Machine Learning Programs MZ Malik, M Nawaz, N Mustafa, JH Siddiqui arXiv preprint arXiv:1801.09373, 2018 | 1 | 2018 |
Combining data structure repair and program repair MZ Malik | 1 | 2014 |
Fair Feature Subset Selection using Multiobjective Genetic Algorithm AU Rehman, A Nadeem, MZ Malik arXiv preprint arXiv:2205.01512, 2022 | | 2022 |
A Case for Microservices Orchestration Using Workflow Engines A Nadeem, MZ Malik arXiv preprint arXiv:2204.07210, 2022 | | 2022 |
Automatic Issue Classifier: A Transfer Learning Framework for Classifying Issue Reports A Nadeem, MU Sarwar, MZ Malik 2021 IEEE International Symposium on Software Reliability Engineering …, 2021 | | 2021 |
Designing Robot Receptionist for Overcoming Poor Infrastructure, Low Literacy and Low Rate of Female Interaction MA Talha Rehmani, Sabur Butt, Inam-ur-Rehman Baig, Muhammad Zubair Malik HRI, 2018 | | 2018 |