SOFTWARE ENGINEERING

SOFTWARE ENGINEERING

Software Engineering Research Lab (SERL) is a group of dedicated individuals exploring new horizons in the Software Engineering and its related areas. The focus of the research undertaken by the SERG members is in the areas of software quality, self-managing software systems, e-government architectures, soft computing, code clone detection, software reuse and autonomic computing. The projects being undertaken by the group include: Automated Failure Recovery in Distributed Systems, Injecting Autonomic Behavior in Software Systems, Measuring Quality in Self-Managed Systems, Predicting Software Quality, e-Governance Architectures and Frameworks, Detecting High Level Similarities in Software and Resource Optimization in Power Management in Small Grids.

  • Symbolic Execution of Stored Procedures in Database Management Systems
    M. S. Mahmood, M. A. Ghafoor, and J. H. Siddiqui
    Proceedings of the 31st ACM/IEEE international conference on Automated software engineering
  • Effective Partial Order Reduction in Model Checking Database Applications
    M. A. Ghafoor, M. S. Mahmood, and J. H. Siddiqui
    2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)
  • Verification of MPI Java programs using software model checking
    W. U. Rehman, M. S. Ayub, and J. H. Siddiqui
    Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
  • A framework for policy similarity evaluation and migration based on change detection
    J. Vaidya, B. Shafiq, V. Atluri, and D. Lorenzi, 
    accepted for publication in the 9th International Conference on Network and System Security, November 2015
  • Composability Verification of Multi-service Workflows in a Policy-Driven Cloud Computing Environment
    B. Shafiq, S. Ghayyur, A. Masood, Z. Pervaiz, A. Almutairi, F. Khan, and A. Ghafoor
    accepted for publication in the IEEE Transactions on Dependable and Secure Computing. 2015
  • PEER: A Framework for Public Engagement in Emergency Response
    D. Lorenzi, S. Chun, J. Vaidya, B. Shafiq, V. Atluri, and N. Adam
    International Journal of E-Planning Research (IJEPR), Vol. 4, No. 3 (2015): 29-46
  • Preserving Privacy in Collaborative Business Process Composition
    H. Irshaad, B. Shafiq, J. Vaidya, S. Shamail, and N. Adam
    12th International Conference on Security and Cryptography (SECRYPT 2015), Colmar, France, 20-22 July 2015.
  • Incremental symbolic execution for automated test suite maintenance
    S. Makhdoom, M. A. Khan, and J. H. Siddiqui
    IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)
  • Impact of Using Information Gain in Software Defect Prediction Models
    Zeeshan Ali Rana, Mian M. Awais, Shafay Shamail
    De-Shuang Huang, Vitoantonio Bevilacqua, Prashan Premaratne (Eds.): Intelligent Computing Theory; pages 637-648- ICIC 2014, Proceedings. Springer LNCS Vol 8588, Taiyuan, China; August 3-6, 2014.
  • Utilizing Social Media to Improve Local Government Responsiveness
    David Lorenzi, Jaideep Vaidya, Basit Shafiq, Sonn Chun, Neelima Vegesna, Zamil Alzamil, Nabil Adam, Seth werner, and Vijay Atluri 
    15th International Digital Government Research Conference (dg.o 2014).
  • Identifying Association between Longer Itemsets and Software Defects
    Zeeshan A Rana, Sehrish A Malik, Shafay Shamail, and Mian M Awais
    The 20th International Conference on Neural Information Processing (ICONIP 2013), 3-7 November 2013, Daegu, Korea.
  • Internet Voting: A Smarter Way to Vote in Pakistan
    Umar Muneer and Shafay Shamail
    7th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2013), 22-25 October, 2013, Seoul, Korea
  • Ranger: Parallel analysis of alloy models by range partitioning
    N. Rosner, J. H. Siddiqui, N. Aguirre, S. Khurshid, and M. F. Frias
    IEEE/ACM 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)
  • Ranged Model Checking
    D. Funes, J. H. Siddiqui, and S. Khurshid
    ACM SIGSOFT Software Engineering Notes 37(6)
  • Scaling symbolic execution using ranged analysis
    J. H. Siddiqui and S. Khurshid
    ACM SIGPLAN Notices 47(10)
  • Things Structural Clones Tell that Simple Clones Don’t
    Basit, H. A., Ali, U., Haque, S., and Jarzabek, S. 
    Int. Conference on Software Maintenance, ICSM™2012, Trento, Italy, September 2012, pp. 275-284
  • Viewing Simple Clones from a Structural Clones™ Perspective
    Basit, H. A., Ali, U. and Jarzabek, S.
    Int. Workshop on Software Clones, IWSC’2011, ICSE Workshop, Honolulu, USA, May 2011, pp. 1-6
  • Towards Structural Clones: Analysis and semi-automated detection of design-level similarities in software
    Basit, H. A. and Jarzabek, S. 
    VDM Verlag, 2010
  • A Data Mining Approach for Detecting Higher-level Clones in Software
    Basit, H.A., and Jarzabek, S. 
    IEEE Transactions on Software Engineering 35(4):497-514, July August 2009. ISSN 0098-5589. DOI: 10.1109/TSE.2009.16. IEEE Computer Society.
  • A case for structural clones
    Basit, H. A., and Jarzabek, S.
    In proceedings 3rd International Workshop on Software Clones, March 2009, Kaiserslautern, Germany
  • Identifying Useful Design-Level Similarity Patterns based on Clone Detection Output
    Zhang, Y., Basit, H. A., Jarzabek, S., Anh, D., and Low, M.
    In proceedings 24th IEEE International Conference on Software Maintenance, September 28 - October 4, 2008, Beijing, China, pp. 376-385
  • Efficient Token Based Clone Detection with Flexible Tokenization
    Basit, H. A., Smyth, W. F., Puglisi, S. J., Turpin, A., and Jarzabek, S.
    Short paper in proceedings 11th European Software Engineering Conference and 15th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, ACM Press, September 2007, Dubrovnik, Croatia, pp. 513-516
  • Generic Fault tolerant software architecture: reasoning and customization
    Yuan, L., Dong, J.S., Sun, J and Basit, H.A.
    IEEE Transactions on Reliability 55(3):421–435, September 2006.
  • Detecting Higher-level Similarity Patterns in Programs
    Basit, H.A. and Jarzabek, S.
    In proceedings 10th European Software Engineering Conference and 13th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, ACM Press, September 2005, Lisbon, Portugal, pp. 156-165
  • An Empirical Study on Limits of Clone Unification Using Generics
    Basit, H.A., Rajapakse, D.C, and Jarzabek, S.
    In proceedings 17th Int. Conference on Software Engineering and Knowledge Engineering, SEKE'05, July 2005, Taipei, Taiwan, pp. 109-114
  • Beyond Templates: a Study of Clones in the STL and Some General Implications
    Basit, H.A., Rajapakse, D.C., and Jarzabek, S.
    In proceedings 27th Int. Conf. on Software Engineering, ICSE’05, May 2005, St. Louis, USA, pp. 451-459
  • Extending Generics for optimal Reuse
    Basit, H. A., Rajapakse, D. C., and Jarzabek, S.
    poster presentation at 8th Intl. Conf. on Software Reuse (ICSR'04), 2004, Madrid, Spain.