Junaid Haroon Siddiqui - Google Scholar Citations

Cited by

	All	Since 2015
Citations	252	158
h-index	8	7
i10-index	8	5

2009201020112012201320142015201620172018201920203 8 7 35 20 21 30 20 31 35 40 2

Co-authors

Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Muhammad Hamad AlizaiLUMSVerified email at lums.edu.pk
Luca MottolaAssociate Professor, Politecnico di MilanoVerified email at polimi.it
Maryam Abdul GhafoorPh.D. Candidate, Department of Computer Science, LUMS School of Science and EngineeringVerified email at lums.edu.pk
Muhammad Zubair MalikResearch Scientist at CMUVerified email at andrew.cmu.edu
Naveed Anwar BhattiAssistant Professor, Air University, IslamabadVerified email at mail.au.edu.pk
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Muhammad Suleman MahmoodUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
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
Adriano BrancoIndependent research/consultorVerified email at inf.puc-rio.br
Derek ChiouPartner Architect, Microsoft and Adjunct Associate Professor and Research Scientist, UT AustinVerified email at ece.utexas.edu
Hassan Ali KhanResearch assistant - Sysnet LUMSVerified email at ncsu.edu
Jó Ágila Bitschexceet Secure Solutions AGVerified email at exceet.de
Andrea MaioliPhD Student, Politecnico di MilanoVerified email at polimi.it

Junaid Haroon Siddiqui

LUMS University, 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	15	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	11	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 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009	8	2009
Improving systematic constraint-driven analysis using incremental and parallel techniques JH Siddiqui TEXAS UNIV AT AUSTIN, 2012	6	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	5	2019
Scaling symbolic execution using staged analysis JH Siddiqui, S Khurshid Innovations in Systems and Software Engineering 9 (2), 119-131, 2013	5	2013
Symbolic execution of stored procedures in database management systems MS Mahmood, M Abdul Ghafoor, JH Siddiqui Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016	4	2016
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
Cross platform bug correlation using stack traces MA Ghafoor, JH Siddiqui 2016 International Conference on Frontiers of Information Technology (FIT …, 2016	3	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 Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016	2	2016
The betrayal of constant power× time: finding the missing Joules of transiently-powered computers S Ahmed, A Bakar, NA Bhatti, MH Alizai, JH Siddiqui, L Mottola Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on …, 2019	1	2019

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