| Specification-based program repair using SAT D Gopinath, MZ Malik, S Khurshid International Conference on Tools and Algorithms for the Construction and …, 2011 | 123 | 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 | 27 | 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 | 19 | 2007 |
| Repair abstractions for more efficient data structure repair RN Zaeem, MZ Malik, S Khurshid International Conference on Runtime Verification, 235-250, 2013 | 12 | 2013 |
| Deryaft M Malik, A Pervaiz, E Uzuncaova, S Khurshid 2008 ACM/IEEE 30th International Conference on Software Engineering, 859-862, 2008 | 12 | 2008 |
| 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 | 9 | 2019 |
| Dynamic shape analysis of program heap using graph spectra (nier track) MZ Malik Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 8 | 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 | 7 | 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 | 6 | 2017 |
| Dynamic shape analysis using spectral graph properties MZ Malik, S Khurshid 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 4 | 2012 |
| Language and Obfuscation Oblivious Source Code Authorship Attribution S Zafar, MU Sarwar, S Salem, MZ Malik IEEE Access 8, 197581-197596, 2020 | 1 | 2020 |
| 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 | 1 | 2020 |
| 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 |
| 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 | | |
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
