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
1232011
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
272011
Generating representation invariants of structurally complex data
MZ Malik, A Pervaiz, S Khurshid
International Conference on Tools and Algorithms for the Construction and …, 2007
192007
Repair abstractions for more efficient data structure repair
RN Zaeem, MZ Malik, S Khurshid
International Conference on Runtime Verification, 235-250, 2013
122013
Deryaft
M Malik, A Pervaiz, E Uzuncaova, S Khurshid
2008 ACM/IEEE 30th International Conference on Software Engineering, 859-862, 2008
122008
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
92019
Dynamic shape analysis of program heap using graph spectra (nier track)
MZ Malik
Proceedings of the 33rd International Conference on Software Engineering …, 2011
82011
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
72006
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
62017
Dynamic shape analysis using spectral graph properties
MZ Malik, S Khurshid
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
42012
Language and Obfuscation Oblivious Source Code Authorship Attribution
S Zafar, MU Sarwar, S Salem, MZ Malik
IEEE Access 8, 197581-197596, 2020
12020
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
12020
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
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
Design of Deryaft: a novel framework for generating representation invariants of structurally complex data
MZ Malik
UT Electronic Theses and Dissertations, 2007
2007
Deryaft
MZ Malik, A Pervaiz, E Uzuncaova, S Khurshid
2008 ACM/IEEE 30th International Conference on Software Engineering, 0
Teaching Statement
V KALA
The system can't perform the operation now. Try again later.
Articles 1–19