Muhammad Zubair Malik
Muhammad Zubair Malik
Research Scientist at CMU
Verified email at andrew.cmu.edu
TitleCited byYear
Specification-based program repair using SAT
D Gopinath, MZ Malik, S Khurshid
International Conference on Tools and Algorithms for the Construction and …, 2011
872011
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
512009
Constraint-based program debugging using data structure repair
MZ Malik, JH Siddiqui, S Khurshid
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
242011
Generating representation invariants of structurally complex data
MZ Malik, A Pervaiz, S Khurshid
International Conference on Tools and Algorithms for the Construction and …, 2007
172007
Repair abstractions for more efficient data structure repair
RN Zaeem, MZ Malik, S Khurshid
International Conference on Runtime Verification, 235-250, 2013
112013
Deryaft: a tool for generating representation invariants of structurally complex data
MZ Malik, A Pervaiz, E Uzuncaova, S Khurshid
Proceedings of the 30th international conference on Software engineering …, 2008
102008
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
Dynamic shape analysis using spectral graph properties
MZ Malik, S Khurshid
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
52012
Dynamic shape analysis of program heap using graph spectra (nier track)
MZ Malik
Proceedings of the 33rd International Conference on Software Engineering …, 2011
52011
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
22017
Combining data structure repair and program repair
MZ Malik
12014
Search Based Code Generation for Machine Learning Programs
MZ Malik, M Nawaz, N Mustafa, JH Siddiqui
arXiv preprint arXiv:1801.09373, 2018
2018
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
MZ Malik
Current and Previous Work
MZ Malik
The system can't perform the operation now. Try again later.
Articles 1–17