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


ˇ         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


ˇ         MPhil

o    Syeda Anjum Ara Shah

o    Rabia Mazhar

o    Shahid Javaid

o    Kiran Shafique

o    Nazia Arshad

o    Marium Imtiaz

ˇ         PhD


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