Incremental learning-based testing for reactive systems K Meinke, MA Sindhu International Conference on Tests and Proofs, 134-151, 2011 | 100 | 2011 |
LBTest: a learning-based testing tool for reactive systems K Meinke, MA Sindhu 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 70 | 2013 |
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 | 57 | 2020 |
Learning-based software testing: a tutorial K Meinke, F Niu, M Sindhu International Symposium On Leveraging Applications of Formal Methods …, 2011 | 39 | 2011 |
Case studies in learning-based testing L Feng, S Lundmark, K Meinke, F Niu, MA Sindhu, PYH Wong Testing Software and Systems: 25th IFIP WG 6.1 International Conference …, 2013 | 33 | 2013 |
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, 107-119, 2015 | 20 | 2015 |
Multi-level aspect based sentiment classification of Twitter data: using hybrid approach in deep learning SH Janjua, GF Siddiqui, MA Sindhu, U Rashid PeerJ Computer Science 7, e433, 2021 | 17 | 2021 |
Algorithms and tools for learning-based testing of reactive systems M Sindhu KTH Royal Institute of Technology, 2013 | 15 | 2013 |
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 | 14 | 2019 |
IDS: An incremental learning algorithm for finite automata MA Sindhu, K Meinke arXiv preprint arXiv:1206.2691, 2012 | 14 | 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 | 12 | 2020 |
Automating Test Oracles from Restricted Natural Language Agile Requirements MI Malik, MA Sindhu, AS Khattak, RA Abbasi, K Saleem Expert Systems, 2020 | 10 | 2020 |
Vovel metrics—novel coupling metrics for improved software fault prediction R Muhammad, A Nadeem, MA Sindhu PeerJ Computer Science 7, e590, 2021 | 9 | 2021 |
Metamorphic testing of an artificially intelligent chess game A Liaqat, MA Sindhu, GF Siddiqui IEEE Access 8, 174179-174190, 2020 | 9 | 2020 |
Formalizing the use case model: A model-based approach QU Zaman, A Nadeem, MA Sindhu PLOS ONE 15 (4), e0231534, 2020 | 8 | 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 | 7 | 2020 |
Extraction of use case diagram elements using natural language processing and network science M Imtiaz Malik, M Azam Sindhu, R Ayaz Abbasi Plos one 18 (6), e0287502, 2023 | 6 | 2023 |
Improving requirements coverage in test case prioritization for regression testing R Butool, A Nadeem, M Sindhu, O uz Zaman 2019 22nd International Multitopic Conference (INMIC), 1-6, 2019 | 6 | 2019 |
Evolutionary Perspective of Structural Clones in Software J Kanwal, O Maqbool, HA Basit, MA Sindhu IEEE Access 7 (1), 58720-58739, 2019 | 6 | 2019 |
Correctness and performance of an incremental learning algorithm for kripke structures K Meinke, M Sindhu Technical report, School of Computer Science and Communication, Royal …, 2010 | 6 | 2010 |