Muddassar A. Sindhu

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 4

Top Topics

Inference Mechanism

Reactive Systems

Test Case Selection

Top Venues

Inf. Technol. Control.

Publications

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