Junaid Haroon Siddiqui
TitleCited byYear
Scaling symbolic execution using ranged analysis
JH Siddiqui, S Khurshid
ACM SIGPLAN Notices 47 (10), 523-536, 2012
422012
ParSym: Parallel symbolic execution
JH Siddiqui, S Khurshid
2010 2nd international conference on software technology and engineering 1 …, 2010
422010
PKorat: Parallel generation of structurally complex test inputs
JH Siddiqui, S Khurshid
2009 International Conference on Software Testing Verification and …, 2009
302009
Constraint-based program debugging using data structure repair
MZ Malik, JH Siddiqui, S Khurshid
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
242011
An empirical study of structural constraint solving techniques
JH Siddiqui, S Khurshid
International Conference on Formal Engineering Methods, 88-106, 2009
172009
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
142013
Staged symbolic execution
JH Siddiqui, S Khurshid
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1339-1346, 2012
132012
Ranged model checking
D Funes, JH Siddiqui, S Khurshid
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012
102012
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
82009
Improving systematic constraint-driven analysis using incremental and parallel techniques
JH Siddiqui
TEXAS UNIV AT AUSTIN, 2012
62012
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
52016
Scaling symbolic execution using staged analysis
JH Siddiqui, S Khurshid
Innovations in Systems and Software Engineering 9 (2), 119-131, 2013
52013
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
42014
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
42012
Cross platform bug correlation using stack traces
MA Ghafoor, JH Siddiqui
2016 International Conference on Frontiers of Information Technology (FIT …, 2016
22016
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
22016
Verification of MPI Java programs using software model checking
WU Rehman, MS Ayub, JH Siddiqui
ACM SIGPLAN Notices 51 (8), 55, 2016
22016
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
12018
Towards smaller checkpoints for better intermittent computing
S Ahmed, MH Alizai, JH Siddiqui, NA Bhatti, L Mottola
2018 17th ACM/IEEE International Conference on Information Processing in …, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20