Travelled to:1 × Canada
1 × New Zealand
1 × Portugal
1 × USA
3 × Germany
Collaborated with:S.Khurshid A.Pervaiz ∅ J.H.Siddiqui D.Gopinath K.Ghori B.Elkarablieh E.Uzuncaova
Talks about:use (5) structur (4) data (4) program (3) repair (3) represent (2) generat (2) complex (2) analysi (2) invari (2)
Person: Muhammad Zubair Malik
DBLP: Malik:Muhammad_Zubair
Contributed to:
2012
20112011
2011
200920082007Wrote 7 papers:
- ICST-2012-MalikK #analysis #graph #using
- Dynamic Shape Analysis Using Spectral Graph Properties (MZM, SK), pp. 211–220.
- ICSE-2011-Malik #analysis #graph #using
- Dynamic shape analysis of program heap using graph spectra (MZM), pp. 952–955.
- ICST-2011-MalikSK #constraints #data type #debugging #using
- Constraint-Based Program Debugging Using Data Structure Repair (MZM, JHS, SK), pp. 190–199.
- TACAS-2011-GopinathMK #program repair #satisfiability #using
- Specification-Based Program Repair Using SAT (DG, MZM, SK), pp. 173–188.
- ASE-2009-MalikGEK #automation #data type #debugging #using
- A Case for Automated Debugging Using Data Structure Repair (MZM, KG, BE, SK), pp. 620–624.
- ICSE-2008-MalikPUK #generative #invariant #named #representation
- Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.
- TACAS-2007-MalikPK #generative #invariant #representation
- Generating Representation Invariants of Structurally Complex Data (MZM, AP, SK), pp. 34–49.