Junaid Haroon Siddiqui
Junaid Haroon Siddiqui
LUMS University, Pakistan
Verified email at lums.edu.pk - Homepage
Title
Cited by
Cited by
Year
Scaling symbolic execution using ranged analysis
JH Siddiqui, S Khurshid
ACM SIGPLAN Notices 47 (10), 523-536, 2012
452012
ParSym: Parallel symbolic execution
JH Siddiqui, S Khurshid
2010 2nd international conference on software technology and engineering 1 …, 2010
452010
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
162013
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
112012
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
92019
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
82009
Scaling symbolic execution using staged analysis
JH Siddiqui, S Khurshid
Innovations in Systems and Software Engineering 9 (2), 119-131, 2013
62013
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, M Abdul Ghafoor, JH Siddiqui
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
52016
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
52014
Intermittent asynchronous peripheral operations
A Branco, L Mottola, MH Alizai, JH Siddiqui
Proceedings of the 17th Conference on Embedded Networked Sensor Systems, 55-67, 2019
42019
On intermittence bugs in the battery-less internet of things (WIP paper)
A Maioli, L Mottola, MH Alizai, JH Siddiqui
Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on …, 2019
42019
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
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
32019
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
32018
The system can't perform the operation now. Try again later.
Articles 1–20