Muddassar A. Sindhu

11 papers A 1C 1Misc 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
IDLIQ: An Incremental
Big Data
Farah Haneef, Muddassar A. Sindhu
2022 J jnl
DLIQ: A Deterministic Finite Automaton Learning Algorithm through Inverse Queries.
Inf. Technol. Control.
Farah Haneef, Muddassar A. Sindhu
2020 J jnl
An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems.
CoRR
Muddassar A. Sindhu
2019 Misc conf
Test Case Prioritization Based on Path Complexity.
FIT
Tehseen Afzal, Aamer Nadeem, Muddassar A. Sindhu, Qamar Uz Zaman
2019 J jnl
Towards automated testing of multi-agent systems using prometheus design models.
Int. Arab J. Inf. Technol.
Muhammad Shafiq ur Rehman, Aamer Nadeem, Muddassar A. Sindhu
2013 C conf
Case Studies in Learning-Based Testing.
ICTSS
Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong
2013 A conf
LBTest: A Learning-Based Testing Tool for Reactive Systems.
ICST
Karl Meinke, Muddassar A. Sindhu
2012 J jnl
An n log n Alogrithm for Deterministic Kripke Structure Minimization
CoRR
Karl Meinke, Muddassar A. Sindhu
2012 J jnl
IDS: An Incremental Learning Algorithm for Finite Automata
CoRR
Muddassar A. Sindhu, Karl Meinke
2011 — conf
Incremental Learning-Based Testing for Reactive Systems.
TAP@TOOLS
Karl Meinke, Muddassar A. Sindhu
2011 — conf
Learning-Based Software Testing: A Tutorial.
ISoLA Workshops
Karl Meinke, Fei Niu, Muddassar A. Sindhu