Junaid Haroon Siddiqui - Google Scholar Citations

Cited by

	All	Since 2014
Citations	246	172
h-index	8	7
i10-index	8	5

200920102011201220132014201520162017201820193 8 7 35 20 20 30 20 31 38 33

Co-authors

Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Maryam Abdul GhafoorPh.D. Candidate, Department of Computer Science, LUMS School of Science and EngineeringVerified email at lums.edu.pk
Muhammad Hamad AlizaiAssistant Professor of Computer Science, LUMSVerified email at lums.edu.pk
Muhammad Zubair MalikResearch Scientist at CMUVerified email at andrew.cmu.edu
Luca MottolaAssociate Professor, Politecnico di MilanoVerified email at polimi.it
Muhammad Suleman MahmoodUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Naveed Anwar BhattiAssistant Professor, Air University, IslamabadVerified email at mail.au.edu.pk
Nicolás RosnerUniversity of California Santa BarbaraVerified email at cs.ucsb.edu
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y TécnicasVerified email at dc.exa.unrc.edu.ar
Marcelo F. FriasProfessor of Computer Science, Buenos Aires Institute of TechnologyVerified email at itba.edu.ar
Muhammad Sohaib AyubPhD Scholar (Computer Science), LUMS, LahoreVerified email at lums.edu.pk
Muhammad NawazResearch Associate, LUMSVerified email at lums.edu.pk
Waqas Ur RehmanReserach Associate at Dept. of Computer Science University of SaskatchewanVerified email at usask.ca
Sarmad MakhdoomStudent at LUMSVerified email at sarmad.me
Hassan Ali KhanResearch assistant - Sysnet LUMSVerified email at ncsu.edu
Jó Ágila Bitschexceet Secure Solutions AGVerified email at exceet.de
Adriano BrancoIndependent research/consultorVerified email at inf.puc-rio.br
Muhammad Faisal IqbalCapital University of Science and Technology, Islamabad, PakistanVerified email at utexas.edu

Junaid Haroon Siddiqui

Lahore University of Management Sciences, Pakistan

Verified email at lums.edu.pk - Homepage

program analysis software verification software testing


Title	Cited by	Year
Scaling symbolic execution using ranged analysis JH Siddiqui, S Khurshid ACM SIGPLAN Notices 47 (10), 523-536, 2012	44	2012
ParSym: Parallel symbolic execution JH Siddiqui, S Khurshid 2010 2nd international conference on software technology and engineering 1 …, 2010	42	2010
PKorat: Parallel generation of structurally complex test inputs JH Siddiqui, S Khurshid 2009 International Conference on Software Testing Verification and …, 2009	30	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	25	2011
An empirical study of structural constraint solving techniques JH Siddiqui, S Khurshid International Conference on Formal Engineering Methods, 88-106, 2009	17	2009
Ranger: Parallel analysis of alloy models by range partitioning N Rosner, JH Siddiqui, N Aguirre, S Khurshid, MF Frias 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	14	2013
Staged symbolic execution JH Siddiqui, S Khurshid Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1339-1346, 2012	13	2012
Ranged model checking D Funes, JH Siddiqui, S Khurshid ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012	10	2012
Symbolic execution of Alloy models JH Siddiqui, S Khurshid International Conference on Formal Engineering Methods, 340-355, 2011	8*	2011
Optimizing a structural constraint solver for efficient software checking JH Siddiqui, D Marinov, S Khurshid Proceedings of the 2009 IEEE/ACM International Conference on Automated …, 2009	8	2009
Improving systematic constraint-driven analysis using incremental and parallel techniques JH Siddiqui TEXAS UNIV AT AUSTIN, 2012	6	2012
Symbolic execution of stored procedures in database management systems MS Mahmood, MA Ghafoor, JH Siddiqui 2016 31st IEEE/ACM International Conference on Automated Software …, 2016	5	2016
Scaling symbolic execution using staged analysis JH Siddiqui, S Khurshid Innovations in Systems and Software Engineering 9 (2), 119-131, 2013	5	2013
Incremental symbolic execution for automated test suite maintenance S Makhdoom, MA Khan, JH Siddiqui Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014	4	2014
Lightweight data-flow analysis for execution-driven constraint solving JH Siddiqui, D Marinov, S Khurshid 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012	4	2012
Efficient intermittent computing with differential checkpointing S Ahmed, NA Bhatti, MH Alizai, JH Siddiqui, L Mottola Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on …, 2019	3	2019
Cross platform bug correlation using stack traces MA Ghafoor, JH Siddiqui 2016 International Conference on Frontiers of Information Technology (FIT …, 2016	2	2016
Effective partial order reduction in model checking database applications MA Ghafoor, MS Mahmood, JH Siddiqui 2016 IEEE International Conference on Software Testing, Verification and …, 2016	2	2016
Verification of MPI Java programs using software model checking WU Rehman, MS Ayub, JH Siddiqui ACM SIGPLAN Notices 51 (8), 55, 2016	2	2016
Efficient iterative deepening for bounded exhaustive generation of complex structures A Rauf, M Nawaz, JH Siddiqui Proceedings of the 40th International Conference on Software Engineering …, 2018	1	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors