Department of Computer Sciences
Quaid-i-Azam University, Islamabad
CS-101 - Introduction to Computing [BS]
CSC-222 - Analysis & Design of Software Systems [BS]
CSC-224 - Database Systems [BS]
CSC-322 - Software Construction [BS]
CSC-331 - Theory of Automata [BS]
CSC-411 - Compiler Construction [BS]
CSC-474 - Software testing techniques [BS]
CSC-484 - Software Engineering [BS]
CSC-614 - Software Quality Assurance and Testing [MS]
CSC-624 - Requirements Engineering [MS]
DSC-605 - Programming for Data Science [MS]
CSC-858 - Program Comprehension and Reverse Engineering [MS/PhD]
CSC-878 - Grammatical Inference for Software Engineering [MS/PhD]
CSC-879 - Software and System Specification [MS/PhD]
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
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
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
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
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
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
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
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
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
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
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
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