PhD in Computer Science
Royal Institute of Technology (KTH), Stockholm , Sweden
Graduated: 2013Measuring Productivity in Digital Workplaces
National Expert 2024 - 2024
Optimizing Model Inference and Coverage for Learning-based Testing (OMiCOLT)
Principal Investigator 2020 - 2023
Smart Electricity Manager
Principal Investigator 2020 - 2021
Robot Platoon
Principal Investigator 2019 - 2020
Vehicle Number Plate Identification System
Principal Investigator 2019 - 2020
Code Vulnerability Scanner for C Language-II
Principal Investigator 2018 - 2019
Code Vulnerability Scanner for Java Language-II
Principal Investigator 2018 - 2019
Data Leak Prevention-II
Principal Investigator 2018 - 2019
Intelligent Tester using LBT
Principal Investigator 2018 - 2019
Code Vulnerability Scanner for C Language
Principal Investigator 2017 - 2018
Code Vulnerability Scanner for Java Language
Principal Investigator 2017 - 2018
Data Leak Prevention
Principal Investigator 2017 - 2018
Improving Automata Learning for Learning-based Testing
Principal Investigator 2016 - 2017
Sadad, A., Khattak, A.S., Abbasi, R.A., Sindhu, M.A., Bashir, S. Multi-features Point-of-Interest (POI) recommendation using graph neural network. Multimed Tools Appl 85, 175 (2026)
Journal 2026 DOI: 10.1007/s11042-026-21259-w
IDLIQ: An Incremental Deterministic Finite Automaton Learning Algorithm Through Inverse Queries for Regular Grammar Inference, [Farah Haneef, Muddassar A. Sindhu], Journal on Big Data, 2023 online [IF 4.6]
Journal 2024 DOI: 10.1089/big.2022.0158
K. Hussain, Z. Saeed, R. Abbasi, M. Sindhu, A. Khattak, S. Arafat, A. Daud, and M. Mushtaq, "Towards understanding the role of content-based and contextualized features in detecting abuse on twitter," Heliyon, vol. 10, no. 8, p. e29593, 2024. https://www.sciencedirect.com/science/article/pii/S240584402405624X
Journal 2024 DOI: 10.1016/j.heliyon.2024.e29593
S. Khan, R. A. Abbasi, M. A. Sindhu, S. Arafat, A. S. Khattak, A. Daud, and M. Mushtaq, "Predicting the victims of hate speech on microblogging platforms," Heliyon, vol. 10, no. 23, p. e40611, 2024. https://www.sciencedirect.com/science/article/pii/S240584402416642X
Journal 2024 DOI: 10.1016/j.heliyon.2024.e40611
A Reinforcement Learning Based Grammatical Inference Algorithm Using Block-Based Delta Inverse Strategy, [Farah Haneef, Muddassar A. Sindhu], IEEE Access 11, 12525-12535, 2023 online [IF 3.9]
Journal 2023 DOI: 10.1109/access.2023.3242124
M. Imtiaz Malik, M. Azam Sindhu, and R. Ayaz Abbasi, "Extraction of use case diagram elements using natural language processing and network science," PLOS ONE, vol. 18, no. 6, pp. 1-25, 06 2023. https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0287502
Journal 2023 DOI: 10.1371/journal.pone.0287502
Debugging Effectiveness of LBT: An Empirical Study, [Waqar Ahmed Khan, Muddassar A. Sindhu] International Conference on IT and Industrial Technologies (ICIT), 136-141, 2022
Conference 2022 DOI: 10.1109/icet56601.2022.10004661
Structural Coverage of LTL Requirements for Learning-based Testing, [Hafiz A. Quddus], Muddassar A. Sindhu] International Conference on IT and Industrial Technologies (ICIT), 1-6, 2022
Conference 2022 DOI: 10.1109/icit56493.2022.9989218
Achieving State Space Reduction in Generated Ajax Web Application State Machine, [Nadeem F. Malik, Aamer Nadeem, Muddassar A. Sindhu], Intelligent Automation & Soft Computing 33 (1), 2022. online [IF 2.0]
Journal 2022 DOI: 10.32604/iasc.2022.023423
DLIQ: A deterministic finite automaton learning algorithm through inverse queries, [Farah Haneef, Muddassar A. Sindhu], Information Technology and Control 51 (4), 611-624, 2022 online [IF 1.1]
Journal 2022 DOI: 10.5755/j01.itc.51.4.31394
Efficient Identification of Race Condition Vulnerability in C code by Abstract Interpretation and Value Analysis, [Mehran Yousaf, Muddassar A. Sindhu, Muhammad H. Arif, Shafiq Ur Rehman], International Conference on Cyber Warfare and Security (ICCWS), 70-75, 2021
Conference 2021 DOI: 10.1109/iccws53234.2021.9702954
Enhancement in Buffer Overflow (BOF) Detection Capability of Cppcheck Static Analysis Tool, [Younis Iqbal, Muddassar A. Sindhu, Muhammad H. Arif, Muhammad A. Javed], International Conference on Cyber Warfare and Security (ICCWS), 112-117, 2021
Conference 2021 DOI: 10.1109/iccws53234.2021.9703043
Closing the Loop in Feedback Driven Learning Environments Using Trust Decision Making and Utility Theory, [Kanwal Mahmood, Muhammad Usman, Muddassar A. Sindhu, Alireza Jolfaei, Gautam Srivastava], Appeared in IEEE Transactions on Emerging Topics in Computational Intelligence, https://doi.org/10.1109/TETCI.2020.2991452, 2020. (online) [IF 4.85]
Journal 2021 DOI: 10.1109/tetci.2020.2991452
I. Tariq, M. A. Sindhu, R. A. Abbasi, A. S. Khattak, O. Maqbool, and G. F. Siddiqui, "Resolving cross-site scripting attacks through genetic algorithm and reinforcement learning," Expert Systems with Applications, vol. 168, p. 114386, 2021. http://www.sciencedirect.com/science/article/pii/S0957417420310599
Journal 2021 DOI: 10.1016/j.eswa.2020.114386
M. I. Malik, M. A. Sindhu, A. S. Khattak, R. A. Abbasi, and K. Saleem, "Automating test oracles from restricted natural language agile requirements," Expert Systems, vol 38, no. 1, p. e12608, 2021. https://onlinelibrary.wiley.com/doi/abs/10.1111/exsy.12608
Journal 2021 DOI: 10.1111/exsy.12608
Multi-level aspect based sentiment classification of Twitter data: using hybrid approach in deep learning, [Sadaf H. Janjua, Ghazanfar F. Siddiqui, Muddassar A. Sindhu, Umer Rashid] PeerJ Computer Science 7, e433, 2021online[IF 3.8]
Journal 2021 DOI: 10.7717/peerj-cs.433
Vovel metrics—novel coupling metrics for improved software fault prediction, [Rizwan Muhammad, Aamer Nadeem, Muddassar A. Sindhu] PeerJ Computer Science 7, e590, 2021, online [IF 3.8]
Journal 2021 DOI: 10.7717/peerj-cs.590
Empirical Evaluation of Coupling Metrics in Software Fault Prediction, [Muhammad Rizwan, Aamer Nadeem, Muddassar A. Sindhu], In Proc, 17th International Conference on Applied Science and Technology (IBCAST), Islamabad. 2020.
Conference 2020 DOI: 10.1109/ibcast47879.2020.9044489
M. Malik, M. A. Sindhu., and R. A. Abbasi., "Test oracle using semantic analysis from natural language requirements," in Proceedings of the 22nd International Conference on Enterprise Information Systems - Volume 2: ICEIS, INSTICC. SciTePress, 2020, pp. 345-352. https://www.scitepress.org/Link.aspx?doi=10.5220/0009471903450352
Conference 2020 DOI: 10.5220/0009471903450352
Theoretical Evaluation of Software Coupling Metrics, [Muhammad Rizwan, Aamer Nadeem, Muddassar A. Sindhu], In Proc, 17th International Conference on Applied Science and Technology (IBCAST), Islamabad. 2020.
Conference 2020 DOI: 10.1109/ibcast47879.2020.9044548
DKL: An Efficient Algorithm for Learning Deterministic Kripke Structures, [Rabia Mahar, Muddassar A. Sindhu], Acta Informatica, 2021. online [IF 0.9, Q2]
Journal 2020 DOI: 10.1007/s00236-020-00387-2
F. Haneef, R. A. Abbasi, M. A. Sindhu, A. S. Khattak, M. N. Noor, N. R. Aljohani, A. Daud, and S. Arafat, "Using network science to understand the link between subjects and professions," Computers in Human Behavior, vol. 106, 2020. http://www.sciencedirect.com/science/article/pii/S0747563219304479
Journal 2020 DOI: 10.1016/j.chb.2019.106228
Formalizing the Use Case Model: A Model-based Approach, [Qamar uz Zaman, Aamer Nadeem, Muddassar A. Sindhu], Appeared in the PLOS ONE International Journal, https://doi.org/10.1371/journal.pone.0231534, 2020. (online) (IF 2.870, Q1)
Journal 2020 DOI: 10.1371/journal.pone.0231534
Metamorphic Testing of an Artificially Intelligent Chess Game, [Aisha Liaqat, Muddassar A. Sindhu, Ghazanfar F. Siddiqui], IEEE Access, 2020. online [IF 3.75, Q1]
Journal 2020 DOI: 10.1109/access.2020.3024929
Improving Requirements Coverage in Test Case Prioritization for Regression Testing, [Rimsha Batool, Aamer Nadeem, Muddassar A. Sindhu, Qamar uz Zaman], Appeared In Proc, 22nd IEEE International Multitopic Conference (INMIC), Islamabad, 2019.
Conference 2019 DOI: 10.1109/inmic48123.2019.9022761
Test Case prioritization Based on Path Complexity, [Tehseen Afzal, Aamer Nadeem, Qamar uz Zaman, Muddassar A. Sindhu], Appeared In Proc, 17th International Conference on Frontiers of Information Technology (FIT), Islamabad, 2019.
Conference 2019 DOI: 10.1109/fit47737.2019.00074
Analysis of Classifier's Performance Measures Used in Software Fault Prediction Studies, [Muhammad Rizwan, Aamer Nadeem, Muddassar A. Sindhu] Appeared in IEEE Access Journal, Volume 7, Issue 1 pp 82764-82775, 2019. (online) (IF 4.09, Q1)
Journal 2019 DOI: 10.1109/access.2019.2923821
A Metamorphic Relation based Approach for Testing a Chess Game, [Aisha Liaqat, Muddassar A. Sindhu] pp 81-86 In Proc 14th IEEE International Conference on Emerging Technologies (ICET), Islamabad, Pakistan. 2018.
Conference 2018 DOI: 10.1109/icet.2018.8603603
F. Imran, R. A. Abbasi, M. A. Sindhu, A. S. Khattak, A. Daud, and T. Amjad, "Finding research areas of academicians using clique percolation," in 14th International Conference on Emerging Technologies (ICET), Nov 2018, pp. 1-6. https://ieeexplore.ieee.org/document/8603549/
Conference 2018 DOI: 10.1109/ICET.2018.8603549
Formalizing a Use Case to a Kripke Structure, [Qamar uz Zaman, Muddassar A. Sindhu, Aamer Nadeem] In Proc, IASTED International Symposium on Software Engineering Applications (SEA 2015), Los Angeles, USA, 2015. DOI: 10.2316/P.2015.829-017. (online)
Conference 2015 DOI: 10.2316/p.2015.829-017
Testing Abstract Behavioral Specifications, [P. Wong, R. Bubel, F. De Boer, M. Gomez-Zamalloa, S. De Gouw, R. Haehnle, Karl Mienke, Muddassar A. Sindhu] Appeared in the journal on, Software Tools for Technology Transfer, Volume 17, Issue 1, pp 107-119, February 2015. (online) (IF 1.612, Q2)
Journal 2014 DOI: 10.1007/s10009-014-0301-x
Case studies in Learning-based Testing, [Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong] pp 164-179 in Proc, 25th IFIP ICTSS, LNCS 8254, Springer Verlag 2013.
Conference 2013 DOI: 10.1007/978-3-642-41707-8_11
LBTest: A Learning-based Testing Tool for Reactive Systems. [Karl Mienke, Muddassar A.Sindhu] pp 447-454, In Proc. IEEE ICST 2013 Tools Track.
Conference 2013 DOI: 10.1109/icst.2013.62
Learning-Based Software Testing: a Tutorial [Karl Mienke, Fei Niu, Muddassar A. Sindhu] In Proc. Int. ISoLA workshop on Machine Learning, CCIS, Springer Verlag, 2011.
Conference 2012 DOI: 10.1007/978-3-642-34781-8_16
Incremental Learning-Based Testing for Reactive Systems.[Karl Mienke, Muddassar A. Sindhu] pp 134-151 in Proc, TAP 2011, LNCS 6706, Springer Verlag, 2011.
Conference 2011 DOI: 10.1007/978-3-642-21768-5_11
Anjum Ara Shah
PhD - Under Supervision
Learning Algorithms for Context Free Grammars
Farah Haneef
PhD - Completed
Efficient Automaton Learning Algorithms for Software Engineering Applications
Completed: 2024Maryam Imtiaz Malik
PhD - Completed
Semantic Analysis of Natural Language Requirements for Test Oracle Automation
Completed: 2025Mehran Yousaf
PhD - Under Supervision
Fuzz Testing
Tehmina Mehboob
PhD - Under Supervision
Web Services Testing
Aisha Liaqat
MPhil - Completed
Metamorphic Testing of Human and AI-based Chess Game
Fizza Asmat
MPhil - Completed
Enhancing Real-time Fire Detection with Efficient Anomaly Detection and Autonomous Self-healing
Hafiz Abdul Quddus
MPhil - Completed
Coverage Metrics for Learning-based Testing of Reactive Systems
Iram Tariq
MPhil - Completed
XSS vulnerability Detection in Java Code through Genetic Algorithm and Reinforcement Learning
Irum Jaffar
MPhil - Completed
LBT using the Spin Model Checker
Kiran Shafique
MPhil - Completed
Type II Errors in Mutation Testing
Maaria Bibi
MPhil - Completed
Formal Verification and Testing of Decentralized Applications
Maryam Imtiaz Malik
MPhil - Completed
Automating Testing from Natural Language Requirements
Mehran Yousuf
MPhil - Completed
Race Condition Vulnerability Detection in C code
Muhammad Ilyas
MPhil - Completed
Enhancing Cross-Domain Robustness through Domain Adversarial Training of Vision Transformers
Completed: 2026Mustajab Khurshid
MPhil - Completed
Tensor-Driven Gated Graph Neural Networks for Effective Vulnerability Detection Using Slice Method
Nazia Arshad
MPhil - Completed
Metamorphic Testing for Requirements Ontologies
Photal Khan
MPhil - Completed
Testing of Android / Mobile Applications
Rabia Mazhar
MPhil - Completed
Design, Implementation and Evaluation of a new Kripke Structure Learning Algorithm
Salman Farsi
MPhil - Completed
Improving Self-Supervised Time Series Anomaly Detection Through Robust Threshold Selection
Shahid Javaid
MPhil - Completed
Automating Change Detection in Use Case Diagrams and Descriptions
Shirjeel Ahmad
MPhil - Completed
SQL Injection Vulnerability Detection in Java Code through Model Checking
Syeda Anjum Ara Shah
MPhil - Completed
Using the SAL Model Checker for Learning-based Testing
Waqar Ahmed Khan
MPhil - Completed
Debugging Effectiveness of Learning-based Testing of Reactive Systems
Younis Iqbal
MPhil - Completed
Buffer Overflow Vulnerability Detection Enhancement in CppCheck