Quaid-i-Azam University, Islamabad
Department of Computer Science











Faculty > Muddassar Azam Sindhu  

Muddassar Azam Sindhu

Assistant Professor

PhD(CS) The Royal Institute of Technology (KTH), Stockholm, Sweden.

Licentiate in Engineering(CS) The Royal Institute of Technology (KTH), Stockholm, Sweden.

MSc (CS) The University of Punjab, Lahore, Pakistan.

Phone: +92-51-9064-2066

Email: masindhu@qau.edu.pk


Primarily involved in developing new theories, algorithms and tools for software testing specifically for automatic test case generation.

ˇ         Software Testing

ˇ         Model mining

ˇ         Algorithms

ˇ         Formal Methods

I am also involved with some funded projects whose brief descriptions are available here


ˇ         PhD

o    Research Seminar

o    Program Comprehension and Reverse Engineering

ˇ         MPhil

o    Requirements Engineering

o    Software Quality Assurance and Testing

ˇ         M.Sc.

o    Introduction to Computing Theory

o    Computer Systems

o    Software Testing Techniques

o    Introduction to Software Engineering

o    Software Engineering Practicum

o    Database Design

ˇ         BS

o    Analysis and Design for Software Systems

o    Software Construction

o    Theory of Automata

o    Compiler Construction

o    Software Testing Techniques

Research Students

ˇ         MPhil (Completed)

o    Syeda Anjum Ara Shah (Thesis Title: Using the SAL Model Checker for Learning-based Testing)

o    Rabia Mazhar  (Thesis Title: Design, Implementation and Evaluation of a new Kripke Structure Learning Algorithm)

o    Shahid Javaid (Thesis Title: Automating Change Detection in Use Case Diagrams and Descriptions)

o    Maryam Imtiaz Malik (Thesis Title: Automating Testing from Natural Language Requirements)

o    Kiran Shafique (Thesis Title: Type II Errors in Mutation Testing)

o    Nazia Arshad (Metamorphic Testing for Requirements Ontologies)

ˇ         MPhil (In Progress)

o    Younis Iqbal

o    Shirjeel Ahmed

o    Ayesha Liaqat

ˇ         PhD

o    Farah Haneef

o    Maryam Imtiaz Malik


ˇ         Automating Change Detection in Use Case Diagrams and Descriptions [Shahid Javaid, Muddassar A. Sindhu]  pp 119-124  In Proc 22nd World Multi Conference on Systems, Cybernetics and Informatics, Orlando, Florida, USA, 2018.

ˇ         Towards Automated Testing of Multi-agent Systems using Prometheus Design Models, [Shafiqur Rehman, Aamer Nadeem, Muddassar A. Sindhu] to appear in International Arab Journal of Information Technology, Vol 16, No1, January 2019. (IF 0.724)

ˇ         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

ˇ         Testing Abstract Behavioural 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. (IF 1.612)

ˇ         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.

ˇ         Algorithms and Tools for Learning-based Testing of Reactive Systems, Doctoral Thesis, School of Computer Science and Communication, Royal Institute of Technology, Stockholm, Sweden, 2013, ISBN 978-91-7501-674-0. : link

ˇ         LBTest: A Learning-based Testing Tool for Reactive Systems. [Karl Mienke, Muddassar A.Sindhu] pp 447-454, In Proc. IEEE ICST 2013 Tools Track.

ˇ         Incremental Learning and Testing of Reactive Systems, Licentiate Thesis, School of Computer Science and Communication, Royal Institute of Technology, Stockholm, Sweden, 2011, ISBN 978-91-7501-062-5.

ˇ         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.

ˇ         Correctness and Performance of IID Learning Algorithm for Finite Automata.[Karl Mienke, Muddassar A. Sindhu]  in 3rd ACML 2011, Taiwan.

ˇ         Incremental Learning-Based Testing for Reactive Systems.[Karl Mienke, Muddassar A. Sindhu] pp 134-151 in Proc, TAP 2011, LNCS 6706, Springer Verlag, 2011.

[QAU] [CS] [Academics] [Research] [Faculty] [Admission]

CopyrightŠ cs.qau.edu.pk 2018