Muddassar Azam Sindhu
Muddassar Azam Sindhu
Assistant Professor, Computer Science Department, Quaid i Azam University, Islamabad
Verified email at qau.edu.pk
Title
Cited by
Cited by
Year
Incremental learning-based testing for reactive systems
K Meinke, MA Sindhu
International Conference on Tests and Proofs, 134-151, 2011
752011
LBTest: a learning-based testing tool for reactive systems
K Meinke, MA Sindhu
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
492013
Case studies in learning-based testing
L Feng, S Lundmark, K Meinke, F Niu, MA Sindhu, PYH Wong
IFIP International Conference on Testing Software and Systems, 164-179, 2013
272013
Learning-based software testing: a tutorial
K Meinke, F Niu, M Sindhu
International Symposium On Leveraging Applications of Formal Methods …, 2011
212011
Testing abstract behavioral specifications
PYH Wong, R Bubel, FS de Boer, M Gómez-Zamalloa, S De Gouw, ...
International Journal on Software Tools for Technology Transfer 17 (1), 107-119, 2015
152015
Algorithms and tools for learning-based testing of reactive systems
M Sindhu
KTH Royal Institute of Technology, 2013
152013
IDS: An incremental learning algorithm for finite automata
MA Sindhu, K Meinke
arXiv preprint arXiv:1206.2691, 2012
82012
Correctness and performance of an incremental learning algorithm for finite automata
K Meinke, M Sindhu
KTH Royal Institute of Technology, 2010
32010
Using network science to understand the link between subjects and professions
F Haneef, RA Abbasi, MA Sindhu, AS Khattak, MN Noor, NR Aljohani, ...
Computers in Human Behavior 106, 106228, 2020
22020
Finding Research Areas of Academicians using Clique Percolation
F Imran, RA Abbasi, MA Sindhu, AS Khattak, A Daud, T Amjad
2018 14th International Conference on Emerging Technologies (ICET), 1-6, 2018
22018
Incremental Learning and Testing of Reactive Systems
M Sindhu
KTH Royal Institute of Technology, 2011
22011
Closing the Loop in Feedback Driven Learning Environments Using Trust Decision Making and Utility Theory
K Mahmud, M Usman, MA Sindhu, A Jolfaei, G Srivastava
IEEE Transactions on Emerging Topics in Computational Intelligence, DOI: 10 …, 2020
12020
Analyses of Classifier’s Performance Measures Used in Software Fault Prediction Studies
M Rizwan, A Nadeem, MA Sindhu
IEEE Access 7 (1), 82764-82775, 2019
12019
Evolutionary Perspective of Structural Clones in Software
J Kanwal, O Maqbool, HA Basit, MA Sindhu
IEEE Access 7 (1), 58720-58739, 2019
12019
Towards Automated Testing of Multi-agent Systems using Prometheus Design Models
SU Rehman, A Nadeem, MA Sindhu
The International Arab Journal of Information Technology 16 (1), 54-65, 2019
12019
A Metamorphic Relation based Approach for Testing a Chess Game
A Liaqat, MA Sindhu
2018 14th International Conference on Emerging Technologies (ICET), 1-6, 2018
12018
FORMALIZING A USE CASE TO A KRIPKE STRUCTURE
Q uz Zaman, MA Sindhu, A Nadeem
Software Engineering Applications (SEA) 2015 829, 2015
1*2015
Metamorphic Testing of an Artificially Intelligent Chess Game
A Liaqat, MA Sindhu, GF Siddiqui
IEEE Access 8, 174179-174190, 2020
2020
DKL: an efficient algorithm for learning deterministic Kripke structures
R Mazhar, MA Sindhu
Acta Informatica, 1-41, 2020
2020
An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems
MA Sindhu
arXiv preprint arXiv:2008.06268, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20