5 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.FL2020★ 1 cited
An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems
Muddassar A. Sindhu
Learning-based testing (LBT) is an emerging methodology to automate iterative black-box requirements testing of software systems. The methodology involves combining model inference…
cs.LG2012★ 5 cited
IDS: An Incremental Learning Algorithm for Finite Automata
Muddassar A. Sindhu, Karl Meinke
We present a new algorithm IDS for incremental learning of deterministic finite automata (DFA). This algorithm is based on the concept of distinguishing sequences introduced in (An…
cs.DS2012
An n log n Alogrithm for Deterministic Kripke Structure Minimization
Karl Meinke, Muddassar A. Sindhu
We introduce an algorithm for the minimization of deterministic Kripke structures with O(kn log2 n) time complexity. We prove the correctness and complexity properties of this algo…