Shaukat Ali

Senior Research Scientist
Email: shaukat@simula.no
Phone: +47 474 66 831
Affiliations: Simula Research Laboratory, Certus
Website
https://www.simula.no/people/shaukat


News

Short Bio

Shaukat Ali is currently a senior research scientist in Certus Software Verificationand Validation Center, Simula Research Laboratory, Norway. He has been affiliated to Simula Research Lab since 2007. He has been involved in many industrial and research projects related to Model-based Testing (MBT) and Empirical Software Engineering since 2003. He has experience of working in several industries and academic research groups in many countries including UK, Canada, Norway, and Pakistan. Shaukat has been on the program or organisation committees of several international, IEEE and ACM conferences such as ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, European Conference on Modeling Foundations and Applications and System Analysis and Modelling Conference. He is PI and CO-PI of several national and international research projects.

 ̰ ̰

Education

  • PhD at the Department of Informatics, University of Oslo && Simula Research Laboratory, Oslo, Norway: 2012
  • Master at the Department of Computer Science, Mohammad Ali Jinnah University, Pakistan: 2005

Work Experience

  • Senior Research Scientist at Simula Research Laboratory, Norway: 2015 - Present
  • Research Scientist at Software Engineering Department, Simula Research Laboratory, Norway: 2011 - 2014
  • PhD Student at Software Engineering Department, Simula Research Laboratory, Norway: 2008 - 2011
  • Research Trainee at Software Engineering Department, Simula Research Laboratory, Norway: 2007 - 2008
  • Visiting Researcher/Teaching Assistant at the Department of Systems and Computer Engineering, Carleton University, Canada: 2007 - 2007
  • Research Assistant at Verification and Testing Lab, Department of Computer Science, The University of Sheffield, UK : 2006 - 2007
  • Lecturer at the Department of Computer Science, Mohammad Ali Jinnah University, Pakistan: 2005 - 2006
  • Teaching Assistant/Research Assistant at the Department of Computer Science, Mohammad Ali Jinnah University, Pakistan: 2003 - 2005
  • Instructor at Newport College, Islamabad, Pakistan : 2003 - 2003

Research Interests

  • Model-Based Testing
  • Model-Based Engineering
  • Search-Based Software Engineering
  • Product Line Engineering
  • Empirical Software Engineering
  • Requirements Engineering

Funding and Management Roles

  • U-Test (3.71 Million Euros) in ICT-01-2014: Smart Cyber-Physical Systems Horizon2020 Program: 2015 – 2017 (Technical Manager)
  • MBT4CPS (8.4 Million NOK), funded by the Research Council of Norway, FRIPO Young and Talented Researchers Category: 2015 – 2018 (PI)
  • Zen-Configurator (8.59 Million NOK), funded by The Research Council of Norway: 2015 – 2018 (CO-PI)
  • MBE-CR (12.91 Million NOK), funded by RFF Hovedstaden, 2015 – 2017 (CO-PI)
  • Certus Software V&V Center, funded by Research Council of Norway, Leading the project on “Testing Real-Time and Embedded Systems”: 2010 – 2018 (PM)
  • ICT COST Action IC1404: Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS): 2014 – 2018 (One of the two management members representing Norway)
  • Receiver of EEA Grants – Spain Scholarships: 2015
  • Integrated Toolset for Automated Model-based Testing, ICT R&D Fund, Ministry of Science and Technology, Pakistan: 2013 – 2015 (CO-PI)
  • Search-based Test Optimization - Spesialist fra Kina, Project Number: 234835: 2013 (Project supervisor)

Professional and Teaching Activities

SUPERVISION OF GRADUATE STUDENTS AND RESEARCH FELLOWS
Research Fellows
  • Shuai Wang , Research Fellows, Simula Research Laboratory and University of Oslo, Norway: 2015 - Present
  • Phu Hong Nguyen, Research Fellows, Simula Research Laboratory and University of Oslo, Norway: 2015 - Present
PhD Students (Current, Graduated)
  • Hong Lu, PhD Student, Beihang University, Beijing China: 2013- Present
  • Man Zhang, PhD Students, Simula Research Laboratory and University of Oslo, Norway: 2015 - Present
  • Dipesh Pradhan, PhD Students, Simula Research Laboratory and University of Oslo, Norway: 2015 - Present
  • Safdar Aqeel, PhD Students, Simula Research Laboratory and University of Oslo, Norway: 2015 - Present
  • Tao Ma, PhD Students, Simula Research Laboratory and University of Oslo, Norway: 2015 - Present
  • Huihui Zhang, PhD Student, Beihang University, Beijing China
  • Shuai Wang , Simula Research Laboratory and University of Oslo, Norway, 2011 to 2015
  • Yan Li, PhD Student, Beihang University, Beijing China: 2014- Present
  • Saif Ur Rehman Khan, PhD Student at Department of Software Engineering, Faculty of Computer Science and Information Technology, University of Malaya, Kuala Lumpur, Malaysia: 2012- Present
  • Iram Rubab, PhD Student, SnT Center, University of Luxembourg, Luxembourg: 2013 - Present
  • Xiang Qi , PhD Student (Beihang University, China), Ruihua Ji , PhD Student (Nanjing University, China): 2014 - Present
Research Engineers
  • Muhammad Hammad, Research Engineer, Simula Research Laboratory, Norway: 2015 - Present
Master Students
  • Master Students Finished: One from University of Oslo Norway, One from Beihang University, China, two from Pir Mehr Ali Shah Arid Agriculture University, Rawalpindi, Pakistan
  • Dipesh Pradhan, University of Oslo, Norway
  • Man Zhang, Beihang University
  • Gong Zhang, Beihang University
  • Current Master Students: One from University of Oslo, One from Beihang University, China
TEACHING ACTIVITIES
  • Teaching Assistant at Carleton University, Canada: TA for the following course- Object-Oriented Design and Analysis: 2007 - 2007
  • Lecturer, Mohammad Ali Jinnah University (MAJU), Pakistan: Taught the following courses- Software Quality Assurance and Testing (Graduate), Multimedia Systems (Graduate), Computer Programming (Undergraduate): 2005 - 2006
  • Teaching Assistant, Mohammad Ali Jinnah University (MAJU), Pakistan: TA for the following courses- Software Quality Assurance and Testing and Multimedia Systems: 2003 - 2005
  • Instructor, Newport College, Islamabad, Pakistan: Taught the following courses- Programming in C++, Visual Programming, ComputerNetworks: 2003 - 2003
INSTITUTIONAL RESPONSIBILITIES
  • Simula Research Laboratory: 2007 - present
    1. Project manager of the project “Testing Real-Time Embedded Systems” in the Certus SFI (2011 - 2019).
    2. Under Cerus SFI, managing collaborations with Cisco Systems and Kongsberg Maritime.
    3. Representative of Simula at Object Management Group (OMG).
    4. Key contributors for defining the UML Testing Profile (UTP2) OMG standard.
    5. Creator and principle investigator of EsOCL(2013 - present).
  • Research Assistant, SQUALL Lab, Carletion University, Canada- Worked on the following project “Testing Infrastructure for Mechatronics Systems” in collaboration with Siemens Corporate Research, NJ, USA: 2007 - 2007
  • Research Assistant, The University of Sheffield, UK Worked on the following project “AutoAbstract- Automated Abstraction of Code into a State-Based Specification for Test Generation” funded by an EPSRC grant: 2006 - 2007
  • Research Assistant, Centre for Software Dependability, MAJU, Pakistan- Worked on the following project” A State-based Integration Testing Approach for Object-oriented Programs”: 2003 - 2006
COMMISSIONS OF TRUST
  • Program or organisation committees of several international, IEEE and ACM conferences such as ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), European Conference on Modeling Foundations and Applications (ECMFA), System Analysis and Modelling Conference (SAM), and Symposium on Search-Based Software Engineering (SSBSE).
  • Reviewer for several Journal of Information and Software Technology (IST), IEEE Transactions on Software Engineering (TSE), ACM Transactions on Software Engineering and Methodology (TOSEM), Journal of Software and Systems Modeling (SoSyM), Journal of Software Testing Verification and Reliability (STVR).

Publications

A complete list of publications is available from Simula's Publications Database

Journal Papers (Accepted/Published)
  • Huihui Zhang, Shuai Wang, Tao Yue, Shaukat Ali and Chao Liu, “Search and Similarity Based Selection of Use Case Scenarios: An Empirical Study”, Accepted in Empirical Software Engineering (2017).
  • Man Zhang, Shaukat Ali, Tao Yue and Roland Norgren, “Uncertainty-Wise Evolution of Test Ready Models Information and Software Technology (IST): (2017).
  • Ji Wu, Shaukst Ali, Tao Yue, Jie Tian and Chao Liu. "Assessing the Quality of Industrial Avionics Software: An Extensive Empirical Evaluation." in Empirical Software Engineering (2016).
  • Li, Yan, Tao Yue, Shaukat Ali, and Li Zhang. "Zen-ReqOptimizer: A Search-based Approach for Requirements Assignment Optimization." in Empirical Software Engineering (EMSE), 2016.
  • Lu, Hong, Tao Yue, Shaukat Ali, and Li Zhang. "Model-based Incremental Conformance Checking to Enable Interactive Product Configuration." in Information and Software Technology (IST), 2015.
  • Ali, Shaukat. "Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search­Based Approach." The Empirical Software Engineering Journal (EMSE) (2015).
  • Wang, Shuai, Shaukat Ali, Arnaud Gotlieb, and Marius Liaaen. "Automated Product Line Test Case Selection: Industrial Case Study and Controlled Experiment." Journal of Software and Systems Modeling (2015): 1­-33.
  • T. Yue and S. Ali. "Empirically Evaluating OCL and Java for Specifying Constraints on UML Models". Accepted for publication in Journal of Software and Systems Modeling, 2014.
  • S. Wang, S. Ali, A. Gotlieb, and M. Liaaen. "A Systematic Test Case Selection Methodology for Product Lines: Results and Insights from an Industrial Case Study". Accepted in Empirical Software Engineering Journal (ESE) with minor revisions, 2014.
  • S. Wang, S. Ali and A, Gotlieb, Cost-Effective Test Suite Minimization in Product Lines Using Search Techniques, Accepted in Journal of Systems and Software (JSS), 2014.
  • J. Wu, T. Yue, S. Ali, H. Zhang, “Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study”, Journal of Software: Practices and Experience (SPE), 2014.
  • M. Zohaib. Iqbal, S. Ali, T. Yue, and L. Briand. "Applying UML/MARTE on Industrial Projects: Challenges, Experiences, and Guidelines". Accepted for publication in the Journal of Software and Systems Modeling (SOSYM), Springer, 2014.
  • S. Ali, M. Zohaib. Iqbal, A. Arcuri, and L. Briand. "Solving OCL Constraints for Test Data Generation in Industrial Systems with Search Techniques". IEEE Transactions on Software Engineering (TSE), 2013.
  • S. Ali, T. Yue, and L. Briand. "Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?". Springer Software and System Modeling (SOSYM), 2012.
  • S. Ali, L. Briand, and H. Hemmati. "Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems". Journal of Software and Systems Modeling (SOSYM), Springer, 11(4):633-670, 2012.
  • S. Ali, L. Briand, H. Hemmati, and R. K. Panesar-Walawege. "A Systematic Review of the Application and Empirical Investigation of Search-based Test-Case Generation". IEEE Transactions on Software Engineering 36(6):742-762 , 2010.
  • S. Ali, L. C. Briand, M. Jaffar-u. Rehman, H. Asghar, M. Z. Z. Iqbal, and A. Nadeem. "A state-based approach to integration testing based on UML models". Information and Software Technology 49(11-12):1087-1106, 2007.
  • N. Walkinshaw, K. Bogdanov, S. Ali, and M. Holcombe. "Automated discovery of state transitions and their functions in source code". Software Testing, Verification & Reliability 18(2):99-121, 2007.
Selected Full Conference Papers
  • Tao Yue, Shaukat Ali, Hong Lu, Kunming Nie, Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System, Internatonal Conference on Model-Driven Engineering and Software Development., 2016.
  • Zhang, Man, Bran Selic, Shaukat Ali, Tao Yue, Oscar Okariz, and Roland Norgren. Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model In European Conference on Modelling Foundations and Applications(ECMFA)., 2016.
  • Wang, Shuai, Shaukat Ali, Tao Yue, Øyvind Bakkeli, and Marius Liaaen. Enhancing Test Case Prioritization in an Industrial Setting with Resource Awareness and Multi-Objective Search In The 38th International Conference on Software Engineering (ICSE), Software Engineering in Practice (SEIP) track ., 2016.
  • Lu, Hong, Tao Yue, Shaukat Ali, and Li Zhang. Integrating Search and Constraint Solving for Nonconformity Resolving Recommendations for Product Line Configuration In IEEE International Conference on Software Testing, Verification and Validation (ICST)., 2016.
  • Wang, Shuai, Shaukat Ali, Tao Yue, Yan Li, and Marius Liaaen. A Practical Guide to Select Quality Indicators for Assessing Pareto-Based Search Algorithms in Search-Based Software Engineering, Accepted in The 38th International Conference on Software Engineering (ICSE)., 2016.
  • Wang, Shuai, Shaukat Ali, Tao Yue, and Marius Liaaen. UPMOA: An Improved Search Algorithm to Support User- Preference Multi-Objective Optimization, published in The 26th IEEE International Symposium on Software Reliability Engineering (ISSRE)., 2015.
  • Yue, Tao, Shaukat Ali, and Bran Selic. "Cyber­Physical System Product Line Engineering: Comprehensive Domain Analysis and Experience Report" In The 19th International Software Product Line Conference (SPLC)., 2015.
  • Yue, Tao, Shaukat Ali, and Man Zhang. "Applying A Restricted Natural Language Based Test Case Generation Approach in An Industrial Context In International Symposium on Software Testing and Analysis (ISSTA), 2015.
  • Hong Lu, Tao Yue, Shaukat Ali, Kunming Nie, and Li Zhang. Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration, In: The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE), 2014.
  • S. Wang, D. Buchmann, S. Ali, A. Gotlieb, D. Pradhan, and M. Liaaen. Multi-Objective Test Prioritization in Software Product Line Testing: An Industrial Case Study, In: Software Product Line Conference (SPLC14), 2014.
  • S. Ali and H. Hemmati. Model-based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results, In: IEEE International Conference on Software Testing, Verification, and Validation (ICST), 2014.
  • K. Nie, T. Yue, S. Ali, L. Zhang, and Z. Fan. Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems, In: ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, ACM/IEEE, 2013.
  • S. Wang, A. Gotlieb, S. Ali, and M. Liaaen. Automated Test Case Selection using Feature Model: An Industrial Case Study, In: ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS), Best Paper Award, 2013.
  • J. Wu, S. Ali, T. Yue, and J. Tian. Assessing the Reliability of an Industrial Avionics Software: Results, Insights and Recommendations, In: The 24th IEEE International Symposium on Software Reliability Engineering, ed. by Allen Nikora, IEEE, 2013.
  • S. Ali, T. Yue, L. Briand, Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment, In: IEEE International Conference on Software Testing, Verification and Validation (ICST), 2013.
  • S. Ali, T. Yue, L. Briand, and S. Walawege. A Product Line Modeling and Configuration Methodology to Support Model-based Testing: An Industrial Case Study, In: ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS), 2012.
  • M. Zohaib. Iqbal, S. Ali, T. Yue, and L. Briand. Experiences of Applying UML/MARTE on Three Industrial Projects, In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012.
  • S. Ali, T. Yue, Z. Malik, Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing, International Conference on Aspect-Oriented Software Development (AOSD 2012), 2012.
  • S. Ali, L. Briand, A. Arcuri, and S. Walawege. An Industrial Application of Robustness Testing using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms, In: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (Models 2011), ACM/IEEE, 2011.
  • H. Hemmati, L. Briand, A. Arcuri, and S. Ali. An Enhanced Test Case Selection Approach for Model-Based Testing: An Industrial Case Study, In: 18th ACM SIGSOFT international symposium on Foundations of Software Engineering (FSE), ed. by Gruia-Catalin Roman and André van der Hoek, ACM (ISBN: 978-1-60558-791-2), 2010.