Incremental symbolic execution for automated test suite maintenance
S. Makhdoom, M. A. Khan, and J. H. Siddiqui
International Conference on Automated Software Engineeringi (ASE 2014)
Ranger: Parallel analysis of alloy models by range partitioning
N. Rosner, J. H. Siddiqui, N. Aguirre, S. Khurshid, and M. F. Frias
International Conference on Automated Software Engineering (ASE 2013)
Scaling symbolic execution using staged analysis.
J. H. Siddiqui and S. Khurshid
J. Innovations in Systems and Software Engineering (JISSE 2013)
Scaling symbolic execution using ranged analysis
J. H. Siddiqui and S. Khurshid
ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA 2012)
Ranged Model Checking
D. Funes, J. H. Siddiqui, and S. Khurshid
ACM SIGSOFT Software Engineering Notes 37(6) and The Java Pathfinder Workshop (JPF 2012)