Follow
Muhammad Zubair Malik
Muhammad Zubair Malik
Research Scientist at CMU
Verified email at andrew.cmu.edu
Title
Cited by
Cited by
Year
Specification-based program repair using SAT
D Gopinath, MZ Malik, S Khurshid
International Conference on Tools and Algorithms for the Construction and …, 2011
1292011
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
532009
Constraint-based program debugging using data structure repair
MZ Malik, JH Siddiqui, S Khurshid
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
302011
Generating representation invariants of structurally complex data
MZ Malik, A Pervaiz, S Khurshid
International Conference on Tools and Algorithms for the Construction and …, 2007
202007
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
182019
Repair abstractions for more efficient data structure repair
R Nokhbeh Zaeem, MZ Malik, S Khurshid
International Conference on Runtime Verification, 235-250, 2013
152013
Deryaft
M Malik, A Pervaiz, E Uzuncaova, S Khurshid
2008 ACM/IEEE 30th International Conference on Software Engineering, 859-862, 2008
142008
Dynamic shape analysis of program heap using graph spectra (nier track)
MZ Malik
Proceedings of the 33rd International Conference on Software Engineering …, 2011
92011
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
82006
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
72017
Language and obfuscation oblivious source code authorship attribution
S Zafar, MU Sarwar, S Salem, MZ Malik
IEEE Access 8, 197581-197596, 2020
62020
Dynamic shape analysis using spectral graph properties
MZ Malik, S Khurshid
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
52012
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
42020
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
12018
Search Based Code Generation for Machine Learning Programs
MZ Malik, M Nawaz, N Mustafa, JH Siddiqui
arXiv preprint arXiv:1801.09373, 2018
12018
Combining data structure repair and program repair
MZ Malik
12014
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
The system can't perform the operation now. Try again later.
Articles 1–20