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











Faculty > Muddassar Azam Sindhu Description: C:\Users\Admin\Templates\line.gif 

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

ˇ         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


ˇ         MPhil

o    Syeda Anjum Ara Shah

o    Rabia Mazhar

ˇ         PhD


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

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

ˇ         An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems, [K. Meinke, Muddassar A. Sindhu] (under submission)

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

Description: C:\Users\Admin\Templates\line.gif

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

CopyrightŠ cs.qau.edu.pk 2017