Muddassar A. Sindhu

According to our database, Muddassar A. Sindhu authored at least 24 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A Reinforcement Learning Based Grammatical Inference Algorithm Using Block-Based Delta Inverse Strategy.

Farah Haneef, Muddassar Azam Sindhu

IEEE Access, 2023

2022

DLIQ: A Deterministic Finite Automaton Learning Algorithm through Inverse Queries.

Farah Haneef, Muddassar A. Sindhu

Inf. Technol. Control., 2022

2021

Closing the Loop in Feedback Driven Learning Environments Using Trust Decision Making and Utility Theory.

Kanwal Mahmud, Muhammad Usman, Muddassar Azam Sindhu, Alireza Jolfaei, Gautam Srivastava

IEEE Trans. Emerg. Top. Comput. Intell., 2021

Vovel metrics - novel coupling metrics for improved software fault prediction.

Muhammad Rizwan, Aamer Nadeem, Muddassar Azam Sindhu

PeerJ Comput. Sci., 2021

Multi-level aspect based sentiment classification of Twitter data: using hybrid approach in deep learning.

Sadaf Hussain Janjua, Ghazanfar Farooq Siddiqui, Muddassar Azam Sindhu, Umer Rashid

PeerJ Comput. Sci., 2021

Resolving cross-site scripting attacks through genetic algorithm and reinforcement learning.

Iram Tariq, Muddassar Azam Sindhu, Rabeeh Ayaz Abbasi, Akmal Saeed Khattak, Onaiza Maqbool, Ghazanfar Farooq Siddiqui

Expert Syst. Appl., 2021

Automating test oracles from restricted natural language agile requirements.

Maryam Imtiaz Malik, Muddassar Azam Sindhu, Akmal Saeed Khattak, Rabeeh Ayaz Abbasi, Khalid Saleem

Expert Syst. J. Knowl. Eng., 2021

DKL: an efficient algorithm for learning deterministic Kripke structures.

Rabia Mazhar, Muddassar Azam Sindhu

Acta Informatica, 2021

2020

An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems.

Muddassar A. Sindhu

CoRR, 2020

Using network science to understand the link between subjects and professions.

Farah Haneef, Rabeeh Ayaz Abbasi, Muddassar Azam Sindhu, Akmal Saeed Khattak, Muhammad Nouman Noor, Naif Radi Aljohani, Ali Daud, Sachi Arafat

Comput. Hum. Behav., 2020

Metamorphic Testing of an Artificially Intelligent Chess Game.

Aisha Liaqat, Muddassar Azam Sindhu, Ghazanfar Farooq Siddiqui

IEEE Access, 2020

Test Oracle using Semantic Analysis from Natural Language Requirements.

Maryam Imtiaz Malik, Muddassar Azam Sindhu, Rabeeh Ayaz Abbasi

Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020

2019

Towards automated testing of multi-agent systems using prometheus design models.

Muhammad Shafiq ur Rehman, Aamer Nadeem, Muddassar A. Sindhu

Int. Arab J. Inf. Technol., 2019

Analyses of Classifier's Performance Measures Used in Software Fault Prediction Studies.

Muhammad Rizwan, Aamer Nadeem, Muddassar Azam Sindhu

IEEE Access, 2019

Evolutionary Perspective of Structural Clones in Software.

Jaweria Kanwal, Onaiza Maqbool, Hamid Abdul Basit, Muddassar Azam Sindhu

IEEE Access, 2019

Test Case Prioritization Based on Path Complexity.

Tehseen Afzal, Aamer Nadeem, Muddassar A. Sindhu, Qamar uz Zaman

Proceedings of the International Conference on Frontiers of Information Technology, 2019

2015

Testing abstract behavioral specifications.

Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu

Int. J. Softw. Tools Technol. Transf., 2015

2013

Algorithms and Tools for Learning-based Testing of Reactive Systems.

Muddassar Azam Sindhu

PhD thesis, 2013

Case Studies in Learning-Based Testing.

Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong

Proceedings of the Testing Software and Systems, 2013

LBTest: A Learning-Based Testing Tool for Reactive Systems.

Karl Meinke, Muddassar A. Sindhu

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

IDS: An Incremental Learning Algorithm for Finite Automata

Muddassar A. Sindhu, Karl Meinke

CoRR, 2012

An n log n Alogrithm for Deterministic Kripke Structure Minimization

Karl Meinke, Muddassar A. Sindhu

CoRR, 2012

2011

Incremental Learning-Based Testing for Reactive Systems.

Karl Meinke, Muddassar A. Sindhu

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Learning-Based Software Testing: A Tutorial.

Karl Meinke, Fei Niu, Muddassar A. Sindhu

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011