Muddassar Azam Sindhu

Cited by

	All	Since 2016
Citations	241	157
h-index	7	7
i10-index	6	6

201020112012201320142015201620172018201920201 7 9 13 12 33 15 34 48 28 32

Co-authors

Karl MeinkeProfessor of Computer Science KTH Royal Institute of TechnologyVerified email at csc.kth.se
Aamer NadeemCapital University of Science and TechnologyVerified email at cust.edu.pk
Peter Y. H. WongPreneticsVerified email at wolfson.oxon.org
Rabeeh AbbasiAssociate Professor, Department of Computer Science, Quaid-i-Azam UniversityVerified email at qau.edu.pk
Lei FengKTH Royal Institute of TechnologyVerified email at kth.se
Ali DaudPhD Computer Science from Tsinghua University, Beijing, ChinaVerified email at uj.edu.sa
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Miguel Gómez-ZamalloaAssistant Professor of Computer Science, Complutense University of MadridVerified email at clip.dia.fi.upm.es
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Richard BubelDepartment of Computer Science, TU DarmstadtVerified email at cs.tu-darmstadt.de
Stijn de GouwAssistant Professor, Open University, The NetherlandsVerified email at ou.nl
Qamar uz ZamanCapital University of Science and Technology (CUST), Islamabad, PakistanVerified email at cust.edu.pk
Muhammad Nouman NoorHitec University TaxilaVerified email at hitecuni.edu.pk
Sachi ArafatAssistant Professor, King Abdulaziz UniversityVerified email at kau.edu.sa
Naif R. AljohaniAssociate Professor , King Abdulaziz UniversityVerified email at kau.edu.sa
Aisha LiaqatVisiting Faculty Member, Quaid-i-Azam UniversityVerified email at cs.qau.edu.pk
Tehmina AmjadAssistant Professor, International Islamic University, Islamabad, PakistanVerified email at iiu.edu.pk
Ghazanfar Farooq Siddiqui ( GF Siddi...quaid i azam University, Islamabad.Verified email at qau.edu.pk
Hamid Abdul BasitAssociate Professor, Prince Sultan UniversityVerified email at psu.edu.sa
Gautam SrivastavaBrandon UniversityVerified email at brandonu.ca

Muddassar Azam Sindhu

Assistant Professor, Computer Science Department, Quaid i Azam University, Islamabad

Verified email at qau.edu.pk

Software testing algorithm design and analysis automata learning learning-based testing formal methods


Title Sort by citations Sort by year Sort by 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	80	2011
LBTest: a learning-based testing tool for reactive systems K Meinke, MA Sindhu 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013	51	2013
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	27	2013
Learning-based software testing: a tutorial K Meinke, F Niu, M Sindhu International Symposium On Leveraging Applications of Formal Methods …, 2011	24	2011
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	17	2015
Algorithms and tools for learning-based testing of reactive systems M Sindhu KTH Royal Institute of Technology, 2013	15	2013
IDS: An incremental learning algorithm for finite automata MA Sindhu, K Meinke arXiv preprint arXiv:1206.2691, 2012	8	2012
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	4	2020
Correctness and performance of an incremental learning algorithm for finite automata K Meinke, M Sindhu KTH Royal Institute of Technology, 2010	3	2010
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	2	2019
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	2	2018
Incremental Learning and Testing of Reactive Systems M Sindhu KTH Royal Institute of Technology, 2011	2	2011
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	1	2020
Empirical Evaluation of Coupling Metrics in Software Fault Prediction M Rizwan, A Nadeem, MA Sindhu 17th International Bhurban Conference on Applied Sciences and Technology …, 2020	1	2020
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	1	2019
Evolutionary Perspective of Structural Clones in Software J Kanwal, O Maqbool, HA Basit, MA Sindhu IEEE Access 7 (1), 58720-58739, 2019	1	2019
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	1	2018
FORMALIZING A USE CASE TO A KRIPKE STRUCTURE Q uz Zaman, MA Sindhu, A Nadeem Software Engineering Applications (SEA) 2015 829, 2015	1	2015
Resolving cross-site scripting attacks through genetic algorithm and reinforcement learning I Tariq, MA Sindhu, RA Abbasi, AS Khattak, O Maqbool, GF Siddiqui Expert Systems with Applications 168, 114386, 2020		2020
Metamorphic Testing of an Artificially Intelligent Chess Game A Liaqat, MA Sindhu, GF Siddiqui IEEE Access 8, 174179-174190, 2020		2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors