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
732011
LBTest: a learning-based testing tool for reactive systems
K Meinke, MA Sindhu
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
462013
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
262013
Learning-based software testing: a tutorial
K Meinke, F Niu, M Sindhu
International Symposium On Leveraging Applications of Formal Methods …, 2011
202011
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
142015
Algorithms and tools for learning-based testing of reactive systems
M Sindhu
KTH Royal Institute of Technology, 2013
142013
IDS: An incremental learning algorithm for finite automata
MA Sindhu, K Meinke
arXiv preprint arXiv:1206.2691, 2012
62012
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
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
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
FORMALIZING A USE CASE TO A KRIPKE STRUCTURE
Q uz Zaman, MA Sindhu, A Nadeem
Software Engineering Applications (SEA) 2015 829, 2015
1*2015
Automating Test Oracles from Restricted Natural Language Agile Requirements
MI Malik, MA Sindhu, AS Khattak, RA Abbasi, K Saleem
Expert Systems, 2020
2020
A Review of Career Selection Models
F Haneef, RA Abbasi, MN Noor, A Daud, MA Sindhu
Researchpedia Journal of Computing 1 (1), 30-38, 2020
2020
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
2020
Test Oracle using Semantic Analysis from Natural Language Requirements
MI Malik, MA Sindhu, RA Abbasi
22nd International Conference on Enterprise Information Systems (ICEIS 2020 …, 2020
2020
Formalizing the use case model: A model-based approach
QU Zaman, A Nadeem, MA Sindhu
PLOS ONE 15 (4), e0231534, 2020
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
2020
The system can't perform the operation now. Try again later.
Articles 1–20