`Travelled to:`

1 × Canada

1 × Germany

1 × Italy

1 × New Zealand

1 × Sweden

3 × USA

`Collaborated with:`

S.Khurshid D.Marinov S.Makhdoom M.A.Khan M.Z.Malik M.S.Mahmood M.A.Ghafoor N.Rosner N.Aguirre M.F.Frias

`Talks about:`

execut (5) symbol (4) constraint (3) structur (3) analysi (3) parallel (2) test (2) rang (2) data (2) use (2)

## Person: Junaid Haroon Siddiqui

### DBLP: Siddiqui:Junaid_Haroon

### Contributed to:

### Wrote 9 papers:

- ASE-2014-MakhdoomKS #automation #execution #incremental #maintenance #symbolic computation #testing
- Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.
- ASE-2013-RosnerSAKF #alloy #analysis #clustering #modelling #named #parallel
- Ranger: Parallel analysis of alloy models by range partitioning (NR, JHS, NA, SK, MFF), pp. 147–157.
- ICST-2012-SiddiquiMK #analysis #constraints #data flow #lightweight #theorem proving
- Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving (JHS, DM, SK), pp. 91–100.
- OOPSLA-2012-SiddiquiK #analysis #execution #scalability #symbolic computation #using
- Scaling symbolic execution using ranged analysis (JHS, SK), pp. 523–536.
- SAC-2012-SiddiquiK #execution #staged #symbolic computation
- Staged symbolic execution (JHS, SK), pp. 1339–1346.
- ICST-2011-MalikSK #constraints #data type #debugging #using
- Constraint-Based Program Debugging Using Data Structure Repair (MZM, JHS, SK), pp. 190–199.
- ASE-2009-SiddiquiMK #constraints #optimisation #performance #theorem proving
- Optimizing a Structural Constraint Solver for Efficient Software Checking (JHS, DM, SK), pp. 615–619.
- ICST-2009-SiddiquiK #generative #named #parallel #testing
- PKorat: Parallel Generation of Structurally Complex Test Inputs (JHS, SK), pp. 250–259.
- ASE-2016-MahmoodGS #database #execution #symbolic computation
- Symbolic execution of stored procedures in database management systems (MSM, MAG, JHS), pp. 519–530.